From 711ed4570791dc57da5d69bc5c3a7c84aa732be5 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Sun, 05 Oct 2014 08:41:10 -0400
Subject: cmd/shell: Switch to using sessions

---
(limited to 'lib')

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')
--
cgit v0.9.1