From 2d74b33fd3ad5704e6e3c2f58d5688ccd4b51905 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Mon, 07 Dec 2015 00:01:30 -0500
Subject: Move lib/cmd/*.sh to src/cmd/

---
(limited to 'lib/cmd/shell.sh')

diff --git a/lib/cmd/shell.sh b/lib/cmd/shell.sh
deleted file mode 100644
index 468da0f..0000000
--- a/lib/cmd/shell.sh
+++ /dev/null
@@ -1,62 +0,0 @@
-# "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
--
cgit v0.9.1