Mini Shell
Direktori : /etc/profile.d/ |
|
Current File : //etc/profile.d/modules.sh |
# get current shell name by querying shell variables or looking at parent
# process name
if [ -n "${BASH:-}" ]; then
if [ "${BASH##*/}" = 'sh' ]; then
shell='sh'
else
shell='bash'
fi
elif [ -n "${ZSH_NAME:-}" ]; then
shell=$ZSH_NAME
else
shell=$(/usr/bin/basename $(/usr/bin/ps -p $$ -ocomm=))
fi
if [ -f /usr/share/Modules/init/$shell ]; then
. /usr/share/Modules/init/$shell
else
. /usr/share/Modules/init/sh
fi
Zerion Mini Shell 1.0