diff options
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/bild | 2 | ||||
| -rwxr-xr-x | Biz/Ide/lint | 2 | ||||
| -rwxr-xr-x | Biz/Ide/pre-commit | 2 | ||||
| -rwxr-xr-x | Biz/Ide/pre-push | 2 |
4 files changed, 5 insertions, 3 deletions
diff --git a/Biz/Ide/bild b/Biz/Ide/bild deleted file mode 100755 index 1305e21..0000000 --- a/Biz/Ide/bild +++ /dev/null @@ -1,2 +0,0 @@ -#!/usr/bin/env bash -runghc -i$BIZ_ROOT Biz.Bild $@ diff --git a/Biz/Ide/lint b/Biz/Ide/lint index 3f98dcb..f8bcc1e 100755 --- a/Biz/Ide/lint +++ b/Biz/Ide/lint @@ -1,2 +1,2 @@ #!/usr/bin/env bash -runghc -i$BIZ_ROOT Biz.Lint $@ +bild $BIZ_ROOT/Biz/Lint.hs && $BIZ_ROOT/_/bin/lint $@ diff --git a/Biz/Ide/pre-commit b/Biz/Ide/pre-commit new file mode 100755 index 0000000..8b17092 --- /dev/null +++ b/Biz/Ide/pre-commit @@ -0,0 +1,2 @@ +#!/usr/bin/env bash +exec $BIZ_ROOT/Biz/Ide/lint **/* diff --git a/Biz/Ide/pre-push b/Biz/Ide/pre-push new file mode 100755 index 0000000..2a5ee7b --- /dev/null +++ b/Biz/Ide/pre-push @@ -0,0 +1,2 @@ +#!/usr/bin/env bash +ci |