.profile.d/screen.bashrc

   1 # Fixup screen and define ``session'' if available.
   2 screen=$(find_working screen 2>/dev/null)
   3 if [ $? = 0 ]; then
   4   # Override SCREENDIR iff screen is not setgid (but not under sudo).
   5   if [ ! -g "$screen" ]; then
   6     if [ -n "$SUDO_USER" ]; then
   7       unset SCREENDIR
   8     else
   9       export SCREENDIR="$HOME/.screen/$HOSTNAME"
  10       mkdir -p "$SCREENDIR"
  11     fi
  12   fi
  13
  14   krenew=$(find_working krenew 2/dev/null)
  15   if [ $? = 0 ]; then
  16     alias kscreen="$krenew --"
  17   else
  18     alias kscreen=''
  19   fi
  20   unset krenew
  21
  22   alias session='bigscreen -rx -S session || kscreen bigscreen -S session'
  23 fi
  24 unset screen