6

I upgraded to Linux Mint 18; everything went well. I don't know if it was intentionally done like this or not, but the option Terminal -> Set Title is no longer there, and the shortcut is no longer available. Why this change has been made, and how to fix it? I need to set terminal title, because it helps me navigate between tabs quickly.

Jeff Schaller
  • 66,199
  • 35
  • 114
  • 250
Nafaa Boutefer
  • 361
  • 2
  • 6

1 Answers1

0

Use bash internals:

 PS1="\033]0;New Title\007"$PS1
Ipor Sircer
  • 14,376
  • 1
  • 27
  • 34