jarno
/
one-monokai-gnome-terminal-color-theme
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Initial commit

This commit is contained in:
Jarno Rankinen 2021-02-10 21:11:36 +02:00
parent 8d792b1728
commit 4a867772af
2 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
README.md
View File

@ -1,2 +1,26 @@
# one-monokai-gnome-terminal-color-theme
One Monokai color theme for GNOME Terminal
### How to apply theme:
Download 'one-monokai.dconf' file
1. Create a new profile in GNOME Terminal settings, rename it to e.g. 'default'. The name will be overwritten on import, you can then rename it again to what you want
This step is not necessary if you already have created a profile that is not the default "unnamed" profile.
2. Set the new profile as the default profile
3. run `dconf dump /org/gnome/terminal/legacy/profiles:/`, see that it returns output similar to this:
$ dconf dump /org/gnome/terminal/legacy/profiles:/
[/]
list=['e27d087d-18c4-4b72-83be-c84103543515']
default='e27d087d-18c4-4b72-83be-c84103543515'
[:e27d087d-18c4-4b72-83be-c84103543515]
visible-name='default'
4. Copy the UUID of the created profile (in the example it is :e27d087d-18c4-4b72-83be-c84103543515 )
5. Run `dconf load /org/gnome/terminal/legacy/profiles:/:e27d087d-18c4-4b72-83be-c84103543515/ < one-monokai.dconf`
This will import the settings from the file to the profile and also apply it as the current profile.
6. Modify other settings as needed.
### Credits:
- Colors picked from https://github.com/azemoh/vscode-one-monokai/blob/master/themes/OneMonokai-color-theme.json
- Instructions adapted from http://davidzchen.com/tech/2020/07/21/importing-and-exporting-gnome-terminal-color-schemes.html

12
one-monokai.dconf Normal file
View File

@ -0,0 +1,12 @@
[/]
audible-bell=true
background-color='rgb(40,44,52)'
custom-command=''
font='Monospace 13'
foreground-color='rgb(215,218,224)'
login-shell=false
palette=['rgb(45,49,57)', 'rgb(224,108,117)', 'rgb(152,195,121)', 'rgb(229,192,123)', 'rgb(82,139,255)', 'rgb(198,120,221)', 'rgb(86,182,194)', 'rgb(215,218,224)', 'rgb(127,132,142)', 'rgb(244,71,71)', 'rgb(152,195,121)', 'rgb(229,192,123)', 'rgb(82,139,255)', 'rgb(126,0,151)', 'rgb(86,182,194)', 'rgb(215,218,224)']
use-custom-command=false
use-system-font=true
use-theme-colors=false
visible-name='One Monokai by 0ranki'