Skip to content

Instantly share code, notes, and snippets.

Created March 6, 2013 14:15
Show Gist options
  • Save anonymous/5099568 to your computer and use it in GitHub Desktop.
Save anonymous/5099568 to your computer and use it in GitHub Desktop.
ssh profile switcher
#/bin/sh
echo -e "\033]50;SetProfile=$1\a"
/usr/bin/ssh $*
echo -e "\033]50;SetProfile=Default\a"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment