Come impostare lo schema dei colori di gnome-terminal su "Solarized Dark" tramite riga di comando?

4

In Ubuntu 17.04 il terminale gnome usa 'colori dal tema di sistema'

Sto cercando un modo bash / script per modificarlo, mi piacerebbe che gnome-terminal usi il tema Solarized. Ciò significa che deseleziona "usa i colori da sistema" e scegli "Solarized Dark" dagli schemi di build-in.

Sono in grado di elencare le possibili chiavi che è possibile ottenere / impostare:

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

Ed ecco la lista che ottengo, ma non riesco a capire quale di questi impostare per ottenere 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

Ho provato a impostarlo su true / false, ma non ha fatto alcuna differenza

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

1 risposta

1

Inoltre, non riesco a trovare qualcosa di simile a Solarized Dark in gsettings o dconf .

Metodo 1 :

Tuttavia, in base alla risposta , possiamo trovare i parametri RGB di Solarized Dark, e imposta gnome-terminal colori su tali parametri.

Puoi farlo con dconf-cli :

sudo apt install dconf-cli

Quindi trova il tuo ID profilo con questo comando:

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

Può essere qualcosa del genere:

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

E imposta questi valori su gnome-terminal per creare il tema desiderato.

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)'"

Ad esempio:

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 :

Puoi farlo anche con 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)'

Quella b1dcc9dd-5262-4d8d-a863-c897e6d979b9 è il mio ID profilo e puoi trovare il tuo con questo comando:

gsettings get org.gnome.Terminal.ProfilesList default
    
risposta data Ali Razmdideh 19.09.2017 - 10:55

Leggi altre domande sui tag