No Title: Working around the missing –title parameter in Gnome Terminal
About a year ago the Gnome developers took away the option to run Gnome terminal with the –title parameter. This allowed you to give the terminal window a…
About a year ago the Gnome developers took away the option to run Gnome terminal with the –title parameter. This allowed you to give the terminal window a…
Note: This relates GNOME Shell 3.10 in Ubuntu 14.04. Other versions may differ and YMMV. The keybindings of GNOME Shell can be changed using the system settings windows…
This is the fourth post in a series on achieving an orderly desktop environment in GNOME 3, using no add-ons, only old school hacks. See also the first,…
As if to underscore my previous point, Gnome 3.10 introduced a new cause of crashes. Whenever I would intentionally or unintentionally drag a window from one workspace to…
The big battle of GNOME Shell has beeen pretty much fought out by now. I think the general consensus is that GNOME Shell lost but that there’s no…