Как установить цветовую схему gnome-terminal в & ldquo; Solarized Dark & rdquo; через командную строку?
В Ubuntu 17.04 gnome-terminal использует «цвета из системной темы»
Я ищу способ bash / script, чтобы изменить это, я хотел бы иметь gnome-terminal использует Solarized Theme. Это означает, что снимите флажок «использовать цвета из системы» и выберите Solarized Dark из встроенных схем.
Я могу указать возможные ключи, которые можно получить / установить:
UUID=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')
gsettings list-keys org.gnome.Terminal.Legacy.Profile:/$UUID/
И вот список, который я получаю, но я не могу понять, какой из них установить для 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
Я попытался установить это значение true / false, но это не имело значения
gsettings set org.gnome.Terminal.Legacy.Profile:/$UUID/ use-theme-colors false
3 ответа
Также я не могу найти что-то вроде Solarized Dark в gsettings или dconf.
Method1:
Но в соответствии с этим ответом мы можем найти Solarized Dark RGB и установить gnome-terminal цвета для этих параметров.
Вы можете сделать это с помощью dconf-cli:
sudo apt install dconf-cli
И затем найдите свой профиль с помощью этой команды: [ ! d7]
dconf list /org/gnome/terminal/legacy/profiles:/
Это может быть примерно так:
:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
И установите эти значения на gnome-terminal, чтобы создать желаемую тему.
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)'"
Например:
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)'"
Method1 :
Также вы можете сделать это с помощью 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)'
Это b1dcc9dd-5262-4d8d-a863-c897e6d979b9 - мой идентификатор профиля, и вы можете найти свою команду с помощью этой команды:
gsettings get org.gnome.Terminal.ProfilesList default
-
1Просто в стороне, b1dcc9dd-5262-4d8d-a863-c897e6d979b9 также мой идентификатор профиля; возможно, это по умолчанию или, может быть, вы используете бродягу, как я – Mendhak 19 September 2017 в 16:09
-
2Привет, спасибо, это сработало для меня, теперь я вижу, что я отсутствовал : в том, что я изначально пытался. Мой взнос от этого заключается в том, что «соляризованная» темнота не может быть выполнена напрямую, а нужно делать так, как вы это иллюстрировали. – Mendhak 19 September 2017 в 16:13
-
3@Mendhak Я рад, что смогу помочь вам – Ali Razmdideh 19 September 2017 в 18:49
-
4@AliRazmdideh, есть ли командная строка для обмена между профилями вместо того, чтобы изменять текущий? – Erick Chacon 25 February 2018 в 21:38
Также я не могу найти что-то вроде Solarized Dark в gsettings или dconf.
Method1:
Но в соответствии с этим ответом мы можем найти Solarized Dark RGB и установить gnome-terminal цвета для этих параметров.
Вы можете сделать это с помощью dconf-cli:
sudo apt install dconf-cli
И затем найдите свой профиль с помощью этой команды: [ ! d7] dconf list /org/gnome/terminal/legacy/profiles:/
Это может быть примерно так:
:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
И установите эти значения на gnome-terminal, чтобы создать желаемую тему.
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)'"
Например:
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)'"
Method1 :
Также вы можете сделать это с помощью 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)'
Это b1dcc9dd-5262-4d8d-a863-c897e6d979b9 - мой идентификатор профиля, и вы можете найти свою команду с помощью этой команды:
gsettings get org.gnome.Terminal.ProfilesList default
Также я не могу найти что-то вроде Solarized Dark в gsettings или dconf.
Method1:
Но в соответствии с этим ответом мы можем найти Solarized Dark RGB и установить gnome-terminal цвета для этих параметров.
Вы можете сделать это с помощью dconf-cli:
sudo apt install dconf-cli
И затем найдите свой профиль с помощью этой команды: [ ! d7] dconf list /org/gnome/terminal/legacy/profiles:/
Это может быть примерно так:
:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
И установите эти значения на gnome-terminal, чтобы создать желаемую тему.
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)'"
Например:
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)'"
Method1 :
Также вы можете сделать это с помощью 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)'
Это b1dcc9dd-5262-4d8d-a863-c897e6d979b9 - мой идентификатор профиля, и вы можете найти свою команду с помощью этой команды:
gsettings get org.gnome.Terminal.ProfilesList default