D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
etc
/
alternatives
/
Filename :
modules.sh
back
Copy
# 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