Custom terminal titles are back in Fedora
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.
Debarshi's den 
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
[…] Custom terminal titles are back in Fedora […]
Links 28/2/2017: Wine 1.8.7, AWS Goes Belly-up | Techrights
1 March, 2017 at 00:50