Unable to change gnome-terminal tab title any standard way
17888
How to change Gnome-Terminal title?
5972
How do I customize the date/time display in GNOME Shell's top bar?
153431
How to set unity as default after installing ubuntu-gnome-desktop in Ubuntu 16.04?
9527
How can I change GNOME Shell theme?
154993
How to perform a "Select all" via keyboard, in recent versions of Gnome Terminal?
9940
Remove app icon from title bar in GNOME in Ubuntu 18.04
137021
How to change the Top Bar tab titles
147551
Configure tab-switch hotkey in gnome-terminal
156648
How do I change the top bar font in GNOME 3.30.1?
104644
How do I restore the Unity 7 Ctrl-Alt-Numpad combination behaviour on Gnome 3?
5006
How to remove GNOME Shell from Ubuntu 20.04 LTS to install other desktop environment from scratch?
97078
how to set icons and theme from terminal?
27534
How do I install and use the latest version of GNOME?
42557
How to change the contents of a line on the terminal as opposed to writing a new one?
108823
How to install themes with GNOME tweak tool?
75726
change terminal title
98219
How can I script the settings made by gnome-tweak-tool?