1 files changed, 62 insertions, 0 deletions
diff --git a/src/cmd/shell.sh b/src/cmd/shell.sh
new file mode 100644
index 0000000..468da0f
--- /dev/null
+++ b/src/cmd/shell.sh
@@ -0,0 +1,62 @@
+# "shell" command
+#
+# Copyright (C) 2014  Patrick "P. J." McDermott
+#
+# This file is part of the ProteanOS Development Kit.
+#
+# The ProteanOS Development Kit is free software: you can redistribute
+# it and/or modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation, either version 3 of the
+# License, or (at your option) any later version.
+#
+# The ProteanOS Development Kit is distributed in the hope that it
+# will be useful, but WITHOUT ANY WARRANTY; without even the implied
+# warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+# See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with the ProteanOS Development Kit.  If not, see
+# <http://www.gnu.org/licenses/>.
+
+cmd_shell_main()
+{
+	local root=
+	local dev=
+
+	if [ ${#} -lt 1 ]; then
+		print_cmd_usage 'shell' >&2
+		exit 1
+	fi
+
+	root="${1}"
+	shift 1
+
+	dev=''
+	if is_block "${root}"; then
+		dev="${root}"
+		root="$(block_mount "${dev}")"
+	fi
+
+	. "${root}/etc/os-release"
+	profile_set "${ID}"
+
+	session_begin "${root}" . : false
+	if [ ${#} -eq 0 ]; then
+		session_exec /bin/sh
+		printf '\n'
+		info "$(get_msg 'cmd_shell_exiting')"
+	else
+		session_exec "${@}"
+	fi
+	session_end
+
+	if [ "x${dev}" != 'x' ]; then
+		block_umount "${root}"
+	fi
+}
+
+cmd_shell_register()
+{
+	register_cmd 'shell'
+}
+__init cmd_shell_register