/
/
etc
/
alternatives
Server: in-mum-web1112.main-hosting.eu (62.72.28.111)
You: 216.73.216.52
PHP 8.3.16
Dir:
/etc/alternatives
Edit:
/usr/share/Modules/init/profile.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
Ukuran: 448 B