Mercurial > hg > zsh-env
view profile @ 135:3dd5b3b873aa
jdk9 is gone, hello jdk10
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Tue, 03 Jul 2018 02:24:49 +0200 |
parents | a7654f2b4170 |
children |
line wrap: on
line source
# # 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