summaryrefslogtreecommitdiffstats
path: root/lib/cmd/shell.sh
diff options
context:
space:
mode:
Diffstat (limited to 'lib/cmd/shell.sh')
-rw-r--r--lib/cmd/shell.sh60
1 files changed, 0 insertions, 60 deletions
diff --git a/lib/cmd/shell.sh b/lib/cmd/shell.sh
deleted file mode 100644
index b5b6d69..0000000
--- a/lib/cmd/shell.sh
+++ /dev/null
@@ -1,60 +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/>.
-
-use block
-use profile
-use session
-
-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
-}