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