diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-05 08:41:10 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-05 08:41:10 (EDT) |
| commit | 711ed4570791dc57da5d69bc5c3a7c84aa732be5 (patch) | |
| tree | 11b1af8f9f846a88d9e286ef1c0269ec73cf3787 | |
| parent | 8219b4a48a0579e8966e41b543b8e8ba905e873d (diff) | |
cmd/shell: Switch to using sessions
| -rw-r--r-- | lib/cmd/shell.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/cmd/shell.sh b/lib/cmd/shell.sh index 5c85d7e..9f5b6ba 100644 --- a/lib/cmd/shell.sh +++ b/lib/cmd/shell.sh @@ -19,7 +19,7 @@ # <http://www.gnu.org/licenses/>. use profile -use chroot +use session cmd_shell_main() { @@ -45,7 +45,7 @@ cmd_shell_main() ;; esac - chroot_mount "${root}" + session_begin "${root}" : if [ ${#} -eq 0 ]; then chroot "${root}" /bin/sh -c "cd '/prokit/wd/${$}'; /bin/sh" printf '\n' @@ -53,7 +53,7 @@ cmd_shell_main() else chroot "${root}" /bin/sh -c "cd '/prokit/wd/${$}'; ${*}" fi - chroot_umount "${root}" + session_end case "${uname_s}" in 'Linux') |