diff options
-rwxr-xr-x | fsmgr | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ | |||
2 | die() { printf 'Error: %s\n' "$*" >&2; exit 1; } | 2 | die() { printf 'Error: %s\n' "$*" >&2; exit 1; } |
3 | root=$(stack path --local-install-root) || die "subcommand failed: 'stack path'" | 3 | root=$(stack path --local-install-root) || die "subcommand failed: 'stack path'" |
4 | bin=$root/bin/fsmgr | 4 | bin=$root/bin/fsmgr |
5 | stack build | 5 | [ "$SKIP_BUILD" ] || stack build |
6 | case "$(id -u)" in | 6 | case "$(id -u)" in |
7 | 0) exec "$bin" "$@" ;; | 7 | 0) exec "$bin" "$@" ;; |
8 | *) exec sudo -- "$bin" "$@" ;; | 8 | *) exec sudo -- "$bin" "$@" ;; |