diff options
Diffstat (limited to 'fsmgr')
-rwxr-xr-x | fsmgr | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,6 +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 | case "$(id -u)" in | 6 | case "$(id -u)" in |
6 | 0) exec "$bin" "$@" ;; | 7 | 0) exec "$bin" "$@" ;; |
7 | *) exec sudo -- "$bin" "$@" ;; | 8 | *) exec sudo -- "$bin" "$@" ;; |