search

lanoxx / tilda

A Gtk based drop down terminal for Linux and Unix
GNU General Public License v2.0
1.28k stars 161 forks source link

heads-up on Tab titles #248

Open aplatypus opened 8 years ago

aplatypus commented 8 years ago

I have been using a little script to set the tab-title on Tilda. It is really simple:

Sets the xterm or tilda tab's title to "test01".

After a recent Linux Mint update to Sara (r18.0) everything broke for my tab labels. Turns out my new .bashrc puts the command prompt into the window/tab title, every command!

Because the Tilda tab labels are to my left, that eats up about 20-chars 

    `user@hostname cuurrentPath $ `

... of my bash console using Tilda. Not happy.

The added tab-title text though is not in the $PS1 variable definition; it is to be found further down in a section with a comment such as:

    `# If this is an xterm set the title to user@host:dir`

If you aren't using tabs, I recommend them. But you probably don't need this information today. If your distro hasn't added this innovation to the PS1 string; lucky you! Otherwise I trust this wee post can save you looking in other places ?? !

lanoxx commented 8 years ago

Could you maybe create a section about this in the wiki?

bodqhrohro commented 7 years ago

I've noticed a strange thing. Have started Tilda a few months ago with ten tabs labeled with this script as modem|top|SH4|#SH3|sh|mus|SH2|SH1|js|php I do not often read the labels because I remember the order of tabs and switch them with Alt+digit but today I read them and noticed the labels of the first two and the last two tabs have messed up: php|js|SH4|#SH3|sh|mus|SH2|SH1|top|modem However the content is the same. And when I changed the title for the 2nd tab, this affected its label, not the 9th one, so the messing happened once. Looks like a bug, not an accidental reordering.