.profile.d/screen.bashrc

   1 # Fixup screen and define ``session'' if available.
   2 screen=$(which screen 2>/dev/null)
   3 if [ ! -z "$screen" ]; 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   if which krenew 2>/dev/null | grep ^/ >/dev/null; then
  10     alias kscreen='krenew --'
  11   else
  12     alias kscreen=''
  13   fi
  14
  15   alias session='bigscreen -rx -S session || kscreen bigscreen -S session'
  16 fi
  17 unset screen