Relaunch kinit if necessary.

[profile.git] / .profile.d / screen.bashrc

diff --git a/.profile.d/screen.bashrc b/.profile.d/screen.bashrc
index beba505..c2b1014 100644 (file)
--- a/.profile.d/screen.bashrc
+++ b/.profile.d/screen.bashrc
@@ -6,7 +6,7 @@ if [ $? = 0 ]; then
     if [ -n "$SUDO_USER" ]; then
       unset SCREENDIR
     else
-      export SCREENDIR="~/.screen/$HOSTNAME"
+      export SCREENDIR="$HOME/.screen/$HOSTNAME"
       mkdir -p "$SCREENDIR"
     fi
   fi