.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 setuid (but not under sudo).
   5   if ! ls -l "$screen" | cut -d ' ' -f 1 | grep s >/dev/null; then
   6     if [ -n "$SUDO_USER" ]; then
   7       unset SCREENDIR
   8     else
   9       export SCREENDIR="$HOME/.screen/$HOSTNAME"
  10     fi
  11   fi
  12
  13   krenew=$(find_working krenew 2/dev/null)
  14   if [ $? = 0 ]; then
  15     alias kscreen="$krenew --"
  16   else
  17     alias kscreen=''
  18   fi
  19   unset krenew
  20
  21   alias session='bigscreen -rx -S session || kscreen bigscreen -S session'
  22 fi
  23 unset screen