# "shell" command # # Copyright (C) 2014, 2015 Patrick 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= local es= if [ ${#} -lt 1 ]; then print_cmd_usage 'shell' >&2 return 1 fi root="${1}" shift 1 dev='' if is_block "${root}"; then dev="${root}" if ! root="$(block_mount "${dev}")"; then return 2 fi fi if ! profile_detect "${root}"; then [ "x${dev}" != 'x' ] && block_umount "${root}" return 2 fi if ! session_begin "${root}" . false; then [ "x${dev}" != 'x' ] && block_umount "${root}" return 2 fi es=0 if [ ${#} -eq 0 ]; then session_exec /bin/sh || es=${?} printf '\n' info "$(get_msg 'cmd_shell_exiting')" else session_exec "${@}" || es=${?} fi session_end [ "x${dev}" != 'x' ] && block_umount "${root}" return ${es} } cmd_shell_register() { register_cmd 'shell' } __init cmd_shell_register