Mercurial > hg > zsh-env
view .profile-zsh @ 165:6dd02b1ebb80
use java-config again for selecting JDKs
author | Dirk Olmes <dirk.olmes@codedo.de> |
---|---|
date | Wed, 19 Feb 2020 08:20:33 +0100 |
parents | d0cdc3f47182 |
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