3 # wraps calling the secure shell to let us pick our appropriate credentials.
5 source "$FEISTY_MEOW_SCRIPTS/tty/terminal_titler.sh"
7 #hmmm: is this still used???
8 # it seems redundant with the ssh config file that says which creds to use.
9 source "$FEISTY_MEOW_LOADING_DOCK/custom/scripts/pick_credentials.sh"
11 # remember the old title.
14 # force the TERM variable to a more generic version for other side.
15 # we don't want the remote side still thinking it's running xterm.
18 #hmmm: it would be good to set an interrupt handler here and
19 # trap ctrl-c, since otherwise we are getting exited from and losing a chance
20 # to reset the terminal title. this actually happens a lot, since some X11
21 # or other background process is left running and the ssh never actually quits,
22 # forcing one to hit ctrl-c.
24 if [ ! -z "$keyfile" ]; then
25 \ssh -i "$keyfile" -X -C $*
30 restore_terminal_title