Skip to content

Instantly share code, notes, and snippets.

@sodejm
Created March 11, 2017 16:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save sodejm/ae5d4ee6574066da031b5fa84e939256 to your computer and use it in GitHub Desktop.
Save sodejm/ae5d4ee6574066da031b5fa84e939256 to your computer and use it in GitHub Desktop.
Set a custom terminal title
# Add to bashrc
# tested and working in Kali 2.0
# function to set terminal title
function set-title(){
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment