export/import gnome-terminal profile settings
44911
Backup GNOME-Terminal
93991
Restore Missing "Settings" (gnome-control-center) Icon in Ubuntu 18.04
95712
What is the difference between ~/.profile, ~/.bashrc, ~/.bash_profile, ~/.gnomerc, /etc/bash_bashrc, /etc/screenrc ...?
75494
Why do the terminal attributes look different from outside the terminal?
60776
What's the best distro/shell-agnostic way to set environment variables?
67755
How to customize the gnome classic panel
31132
How do I save terminal output to a file?
72317
Switching from Unity to Gnome
117905
Terminal Transparency in Ubuntu GNOME Malfunctions
5006
How to remove GNOME Shell from Ubuntu 20.04 LTS to install other desktop environment from scratch?
9527
How can I change GNOME Shell theme?
96002
"export PS1=" for customizing shell prompt
84605
Ubuntu 19.04 and Gnome desktop icons
77794
How to set `umask` for the entire gnome session?
17888
How to change Gnome-Terminal title?
40641
What should be used instead of the deprecated gnome-open in Ubuntu 18.04?
29816
gnome-terminal instantly closes after messing with the profile settings