Mercurial > hg > zsh-env
diff profile @ 105:a7654f2b4170
add a default profile
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Thu, 17 Nov 2016 07:35:48 +0100 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/profile Thu Nov 17 07:35:48 2016 +0100 @@ -0,0 +1,10 @@ +# +# Use this as .profile on systems where the default shell cannot be changed to zsh +# +if [ ! -z "$SSH_TTY" ]; then + # this is an interactive shell, replace the current shell with a zsh + if [ -f /bin/zsh ]; then + export SHELL=/bin/zsh + exec /bin/zsh -l + fi +fi