2019-08-01 01:04:47 +00:00
|
|
|
# Initialization script for bash and sh
|
|
|
|
|
2020-01-21 19:54:43 +00:00
|
|
|
if [ "$0" = "ksh" ] || [ "$0" = "-ksh" ] ; then
|
2019-08-01 01:04:47 +00:00
|
|
|
alias which='(alias; typeset -f) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot'
|
|
|
|
else
|
|
|
|
alias which='(alias; declare -f) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot'
|
|
|
|
fi
|