Skip to content

Instantly share code, notes, and snippets.

@mmichaelis
Created October 24, 2011 08:30
Show Gist options
  • Select an option

  • Save mmichaelis/1308586 to your computer and use it in GitHub Desktop.

Select an option

Save mmichaelis/1308586 to your computer and use it in GitHub Desktop.
Function to change Linux Terminal Tab Title (e. g. for gnome terminal)
#!/bin/bash
function title() {
local s="${1}"
echo -ne "\033]0;${s}\007"
}
title "${1}"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment