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