diff options
author | Andrew Cady <d@jerkface.net> | 2018-12-07 22:22:36 -0500 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2018-12-07 22:22:36 -0500 |
commit | 86abef0608c72d9919f85cc3c9195df8f27da542 (patch) | |
tree | dfbe2aad6eb6d4a73b9b16e210eab4f6c3ffc986 /fsmgr | |
parent | 809ca6e1cedd00ee313a35ad0c9ae65805544e5d (diff) |
override in wrapper to run without building
Diffstat (limited to 'fsmgr')
-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" "$@" ;; |