query: Change default gnome-terminal to terminator
positive_passages.docid: 24528
positive_passages.text: Unable to set Terminator as default Terminal in Ubuntu with Cinnamon Desktop
negative_passages.docid: 83413
negative_passages.text: Can terminal be launched via keyboard shortcut: CTRL+ALT+T?
negative_passages.docid: 5006
negative_passages.text: How to remove GNOME Shell from Ubuntu 20.04 LTS to install other desktop environment from scratch?
negative_passages.docid: 153071
negative_passages.text: Desktop shortcut for terminal command
negative_passages.docid: 6229
negative_passages.text: How do I reset GNOME to the defaults?
negative_passages.docid: 33753
negative_passages.text: Copy-pasting in gnome-terminal
negative_passages.docid: 29816
negative_passages.text: gnome-terminal instantly closes after messing with the profile settings
negative_passages.docid: 75478
negative_passages.text: Cannot open gnome-terminal from Unity launcher or from side panel shortcut
negative_passages.docid: 13832
negative_passages.text: How to update Ubuntu terminal?
negative_passages.docid: 80842
negative_passages.text: How to reset the terminal properties and preferences?
negative_passages.docid: 22207
negative_passages.text: How do I install and manage GNOME Shell extensions?
negative_passages.docid: 146726
negative_passages.text: Prevent Mac Terminal from reverting to default theme
negative_passages.docid: 14021
negative_passages.text: Is it possible to set Gnome Terminal's title to "user@host" for whatever host I'm connected to?
negative_passages.docid: 63506
negative_passages.text: How to switch from unity to gnome
negative_passages.docid: 57878
negative_passages.text: How do you use a shell other than bash at a terminal as default?
negative_passages.docid: 157617
negative_passages.text: gnome-tweak-tool is missing the window option
negative_passages.docid: 5731
negative_passages.text: How to customize the ubuntu gnome 3 desktop?