diff options
| author | P. J. McDermott <pj@pehjota.net> | 2016-01-16 21:46:27 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2016-01-16 21:46:27 (EST) |
| commit | 54e006d2672914418ed92dbeb2f10aa9edc84b0e (patch) | |
| tree | 1adfecb30c71a40518567bae6d1499a45385c420 /src/cmd/shell.sh | |
| parent | 067070e2358e2d2ecc26e7877b2b485829eb5402 (diff) | |
cmd/*: Reduce block_umount() calls to one-liners
Diffstat (limited to 'src/cmd/shell.sh')
| -rw-r--r-- | src/cmd/shell.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/cmd/shell.sh b/src/cmd/shell.sh index f062a0e..e761f55 100644 --- a/src/cmd/shell.sh +++ b/src/cmd/shell.sh @@ -49,9 +49,7 @@ cmd_shell_main() fi session_end - if [ "x${dev}" != 'x' ]; then - block_umount "${root}" - fi + [ "x${dev}" != 'x' ] && block_umount "${root}" } cmd_shell_register() |