Reputation
Next privilege 125 Rep.
Vote down
Badges
2
Impact
0 people reached

  • 0 posts edited
  • 0 helpful flags
  • 18 votes cast
Oct
11
comment How to change Gnome-Terminal title?
add following to your .bashrc file in your home dir # set title of current terminal setTerminalTitle(){ echo -ne "\033]0;${1}\007" } alias termttl=setTerminalTitle now you can use termttl alias for setting title e.g. termttl askubuntu
Aug
21
awarded  Autobiographer
May
3
awarded  Supporter