Como definir o esquema de cores do gnome-terminal para “Solarized Dark” via linha de comando?

4

No Ubuntu 17.04, o gnome-terminal usa 'cores do tema do sistema'

Eu estou procurando uma maneira bash / script para modificar isso, eu gostaria de ter o gnome-terminal usando o tema Solarizado. Isso significa que desmarque a opção 'use cores do sistema deles' e escolha Solarized Dark nos esquemas internos.

Sou capaz de listar as possíveis chaves que podem ser obtidas / definidas:

UUID=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')
gsettings list-keys org.gnome.Terminal.Legacy.Profile:/$UUID/

E aqui está a lista que eu recebo, mas eu não consigo descobrir qual desses é definido como Solarized Dark.

audible-bell
cursor-shape
scroll-on-keystroke
cursor-colors-set
cjk-utf8-ambiguous-width
default-size-rows
encoding
use-theme-colors
custom-command
visible-name
login-shell
exit-action
use-system-font
rewrap-on-resize
backspace-binding
foreground-color
bold-color-same-as-fg
background-transparency-percent
cursor-blink-mode
default-show-menubar
default-size-columns
background-color
palette
cursor-foreground-color
allow-bold
use-theme-transparency
highlight-foreground-color
font
delete-binding
scrollback-unlimited
use-transparent-background
cursor-background-color
highlight-background-color
scroll-on-output
scrollbar-policy
use-custom-command
bold-color
highlight-colors-set
scrollback-lines
word-char-exceptions

Eu tentei definir isso como verdadeiro / falso, mas não fez diferença

gsettings set org.gnome.Terminal.Legacy.Profile:/$UUID/ use-theme-colors false
    
por Mendhak 19.09.2017 / 09:56

1 resposta

1

Também não consigo encontrar algo como o Solarized Dark em gsettings ou dconf .

Method1 :

Mas, de acordo com esta resposta, podemos encontrar os parâmetros Solarized Dark RGB , e defina gnome-terminal colors para esses parâmetros.

Você pode fazer isso com dconf-cli :

sudo apt install dconf-cli

E, em seguida, encontre seu ID de perfil com este comando:

dconf list /org/gnome/terminal/legacy/profiles:/

Isso pode ser algo assim:

:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/

E defina esses valores no gnome-terminal para criar o tema desejado.

dconf write /org/gnome/terminal/legacy/profiles:/<profile id>use-theme-colors "false"
dconf write /org/gnome/terminal/legacy/profiles:/<profile id>background-color "'rgb(0,43,54)'"
dconf write /org/gnome/terminal/legacy/profiles:/<profile id>foreground-color "'rgb(131,148,150)'"

Por exemplo:

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/use-theme-colors "false"
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/background-color "'rgb(0,43,54)'"
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/foreground-color "'rgb(131,148,150)'"

Method2 :

Você também pode fazer isso com gsettings :

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ use-theme-colors false    
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ background-color 'rgb(0,43,54)'
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color 'rgb(131,148,150)'

Esse b1dcc9dd-5262-4d8d-a863-c897e6d979b9 é o meu ID de perfil e você pode encontrar o seu com este comando:

gsettings get org.gnome.Terminal.ProfilesList default
    
por Ali Razmdideh 19.09.2017 / 10:55