comparison .profile-zsh @ 159:d0cdc3f47182

oops we already had a zsh enabling .profile
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Dec 2019 06:17:27 +0100
parents profile@a7654f2b4170
children
comparison
equal deleted inserted replaced
158:08620c68ca55 159:d0cdc3f47182
1 #
2 # Use this as .profile on systems where the default shell cannot be changed to zsh
3 #
1 if [ ! -z "$SSH_TTY" ]; then 4 if [ ! -z "$SSH_TTY" ]; then
5 # this is an interactive shell, replace the current shell with a zsh
2 if [ -f /bin/zsh ]; then 6 if [ -f /bin/zsh ]; then
3 export SHELL=/bin/zsh 7 export SHELL=/bin/zsh
4 exec /bin/zsh -l 8 exec /bin/zsh -l
5 fi 9 fi
6 fi 10 fi