Skip to content

Instantly share code, notes, and snippets.

@mknkisk
Created March 20, 2019 12:12
Show Gist options
  • Save mknkisk/83de8b58a7e244a0cf09b6b342fe4de3 to your computer and use it in GitHub Desktop.
Save mknkisk/83de8b58a7e244a0cf09b6b342fe4de3 to your computer and use it in GitHub Desktop.
bin/ssh-change-profile.sh
#!/bin/bash
# set profile
echo -ne "\033]1337;SetProfile=Remote\a"
# ssh login
/usr/bin/ssh "$@"
# set profile(default)
echo -ne "\033]1337;SetProfile=Default\a"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment