I've been reading about this topis here and tried the solution given to change the terminal name (refer to the picture on item number 1)
But none of them can change the terminal's name (item number 1).
user@linux:~$ gnome-terminal --title="SOME TITLE HERE"
user@linux:~$
user@linux:~$ PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
user@linux:~$
user@linux:~$ echo -ne "\033]0;SOME TITLE HERE\007"
user@linux:~$
I know that item number 2 can be changed with PS1
. But the title (item number 1) still didn't change even after I change the PS1
user@linux:~$
is fine. I don't want to change this, I just want to rename the terminal's title on the top (item number 1)