diff options
| author | Andrew Cady <d@jerkface.net> | 2018-07-10 01:18:55 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2018-07-10 05:46:00 -0400 |
| commit | 8bca4cb18e18977c594fbebf5cbebb909bc0ef4b (patch) | |
| tree | f91a84122eccdec729000fc5942a4028c4d971c9 /fsmgr | |
| parent | ca5de8fc5e6fd55a73ac58f939961818e31d3dbf (diff) | |
support for debconf
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" "$@" ;; |