diff .profile-zsh @ 158:08620c68ca55

add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Dec 2019 06:13:05 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.profile-zsh	Sat Dec 14 06:13:05 2019 +0100
@@ -0,0 +1,6 @@
+if [ ! -z "$SSH_TTY" ]; then
+    if [ -f /bin/zsh ]; then
+        export SHELL=/bin/zsh
+        exec /bin/zsh -l
+    fi
+fi