# "shell" command # # Copyright (C) 2014, 2015 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 # . cmd_shell_main() { local root= local dev= if [ ${#} -lt 1 ]; then print_cmd_usage 'shell' >&2 return 1 fi root="${1}" shift 1 dev='' if is_block "${root}"; then dev="${root}" root="$(block_mount "${dev}")" fi if ! profile_detect "${root}"; then [ "x${dev}" != 'x' ] && block_umount "${root}" return 2 fi 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 [ "x${dev}" != 'x' ] && block_umount "${root}" } cmd_shell_register() { register_cmd 'shell' } __init cmd_shell_register