diff options
Diffstat (limited to 'Biz/Bild/ShellHook.sh')
| -rw-r--r-- | Biz/Bild/ShellHook.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh index f545e27..05707dc 100644 --- a/Biz/Bild/ShellHook.sh +++ b/Biz/Bild/ShellHook.sh @@ -33,7 +33,9 @@ function deps() { alias ghci="ghci -i$BIZ_ROOT -ghci-script $BIZ_ROOT/.ghci" -alias lint=$BIZ_ROOT/Biz/Lint.py +function lint { + runghc Biz.Lint $@ +} function pie() { runghc Biz.Pie $@ |