# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1576300385 -3600
# Node ID 08620c68ca557d06dd09cbc45f4317445a2a8687
# Parent  ca7dbc6c6aae035bb5800216f5681ae8deeeecd4
add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh

diff -r ca7dbc6c6aae -r 08620c68ca55 .profile-zsh
--- /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