Debarshi's den

Archive for the ‘Terminal’ Category

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.

Advertisements

Written by Debarshi Ray

27 February, 2017 at 20:36

Posted in Fedora, GNOME, Terminal

Transparent terminals are back in Fedora

with 15 comments

Two years ago, in GNOME 3.8, background transparency was removed from gnome-terminal. Over the years several users expressed their fondness for this feature, leading to much drama, tricky workarounds, and rosy promises.

Anyway, this is now back in Fedora 20 and the GNOME 3.12 COPR. Rawhide will follow soon.

I must point out that this is a downstream patch carried by Fedora, which has been rejected by the upstream gnome-terminal maintainer. 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. You will also need a vte that has the fixes for bug 730023 and bug 729884 depending on the branch that you are using.

Be aware that this has exposed a bug in Adwaita where it is not drawing the background of the menubar when transparency is turned on. We are looking into it and hoping to fix it soon.

Written by Debarshi Ray

15 May, 2014 at 16:45

Posted in Fedora, GNOME, Terminal