You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ ./install.sh
This script will ask you which color scheme you want, and which Gnome Terminal profile to overwrite.
Please note that there is no uninstall option yet. If you do not wish to overwrite any of your profiles, you should create a new profile before you run this script. However, you can reset your colors to the Gnome default, by running:
Gnome >= 3.8 dconf reset -f /org/gnome/terminal/legacy/profiles:/
Gnome < 3.8 gconftool-2 --recursive-unset /apps/gnome-terminal
By default, it runs in the interactive mode, but it also can be run non-interactively, just feed it with the necessary options, see 'install.sh --help' for details.
Please select a color scheme:
1) dark
2) dark_alternative
3) light
#? 1
Please select a Gnome Terminal profile:
1) Unnamed
#?
The text was updated successfully, but these errors were encountered:
$ gsettings get org.gnome.Terminal.ProfilesList list
['b1dcc9dd-5262-4d8d-a863-c897e6d979b9', 'b24d5fa2-4e48-4be1-a826-6f8e7042776e', 'b8dd6b3c-67ac-459c-803a-2302c930c1d6']
I also did logout after creating the profile, to make sure that there is no issue with syncing of data to dconf
@aruhier Do you think the following has any effect (I see that many schemas for terminal are non relocatable):
The text was updated successfully, but these errors were encountered: