scripts/tty/ssh.sh

   1 #!/bin/bash
   2
   3 # a wrapper for the secure shell.
   4 # we want to fix any terminal titles that the foreign shells give us, and
   5 # this script is our chance to do so.
   6
   7 \ssh -i $HOME/.ssh/id_dsa_fred -X $*
   8
   9 # re-run our terminal labeller.
  10 bash $SHELLDIR/tty/label_terminal_with_infos.sh
  11
  12