Mercurial > hg > zsh-env
view .profile-zsh @ 176:d84faf4d53ac
adding openjdk11
author | Dirk Olmes <dirk.olmes@codedo.de> |
---|---|
date | Fri, 15 May 2020 13:13:18 +0200 |
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