summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. 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)
commit711ed4570791dc57da5d69bc5c3a7c84aa732be5 (patch)
tree11b1af8f9f846a88d9e286ef1c0269ec73cf3787
parent8219b4a48a0579e8966e41b543b8e8ba905e873d (diff)
cmd/shell: Switch to using sessions
-rw-r--r--lib/cmd/shell.sh6
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')