| Server IP : 109.234.162.214 / Your IP : 216.73.216.222 Web Server : Apache System : Linux servd162214.srv.odns.fr 4.18.0-372.26.1.lve.1.el8.x86_64 #1 SMP Fri Sep 16 14:08:19 EDT 2022 x86_64 User : carpe ( 1178) PHP Version : 8.0.30 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : OFF | Pkexec : OFF Directory : /etc/alternatives/ |
Upload File : |
# 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