Debarshi's den

Custom terminal titles are back in Fedora

with 3 comments

Almost four years ago, in GNOME 3.12, the ability to have custom terminal titles was removed from gnome-terminal. As is wont to happen, users who dealt with scores of similar looking terminal tabs and windows were quick to express their grief at this loss.

Thankfully, a year ago, Christian partly restored it by bringing back the --title command line option. It helped, but it still wasn’t enough.

Anyway, the good news is that custom terminal titles have been restored in their entirety since Fedora 25.

I must point out that this is a downstream patch carried by Fedora. If you want, you can ask your distributor to include it. Versions of the patch applicable to different GNOME branches can be found in this Git tree.

Written by Debarshi Ray

27 February, 2017 at 20:36

Posted in Fedora, GNOME, Terminal

3 Responses

Subscribe to comments with RSS.

  1. Seriously?! Why do you keep do this downstream development? It’s time to switch to Terminix and save your time. GNOME has Anjuta (slow development and old project) against fast-growing and ambitious Gnome-Builder. What will provide as first-class IDE? Why wouldn’t you do the same for Terminix? Let contributors do your work for you. Come on! I wouldn’t expect to see Gnome developers to patch their apps for up-streaming Fedora.

    Danylo Korostil

    28 February, 2017 at 19:17

    • As nice as Terminix might be, the fact that it is written in D is a problem.

      First, we’d have a hard dependency on the D tool chain, bindings, etc.. Introducing yet another programming language to the platform will just increase the maintenance burden when the things that we already have (Vala, GJS) are weakly maintained.

      Secondly, the last time I checked, the GCC front-end for D wasn’t ready. Hence, using D, today, means relying on a fringe tool chain. That’s not good because Fedora is also the upstream for RHEL. It is not nice to get stuck with a non-mainstream tool chain for the next 10 years.

      We’ll see how things evolve.

      Debarshi Ray

      28 February, 2017 at 20:36

  2. […] Custom terminal titles are back in Fedora […]

Leave a Reply

Please log in using one of these methods to post your comment: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: