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.

1
  • Which terminal emulator are you using?
    – grochmal
    Aug 15, 2016 at 20:09

1 Answer 1

0

Use bash internals:

 PS1="\033]0;New Title\007"$PS1

Not the answer you're looking for? Browse other questions tagged .