Профили Gnome-terminal не отображаются в gconf-редакторе в 16.04 LTS

JSON может иметь все виды форматирования, которые затрудняют чтение без правильного его синтаксического анализа. Я бы это сделал с чем-то вроде Python. Вы все равно можете сохранить его в Bash и использовать каналы, но это необязательно:

$ echo '[1, 2, 3]' | python -c 'import json,sys; print len(json.load(sys.stdin))'
3

Это, очевидно, очень простой пример, но он хороший стартер для выполнения сложных поисков.

1
задан 21 December 2017 в 21:25

3 ответа

Таким образом, в Интернете нет хороших ресурсов, поэтому, надеюсь, это поможет. Все изменилось в 16.04 LTS. Как уже упоминалось в комментариях, необходимо установить dconf-editor.

После установки профили будут найдены в org > gnome > terminal > legacy.

Чтобы получить палитру, цвет фона , цвет переднего плана и полужирный цвет, чтобы отображаться в виде клавиш, вы можете просто возиться с настройками цвета в профиле через меню настроек профиля терминала. Как только это будет сделано для Zenburn, скопируйте настройки цвета из этого значения. Вы не сможете использовать gist as-is. Вместо этого вам придется вручную копировать каждый цвет в нужное место. Возможно, позже я напишу сценарий, чтобы сделать это автоматически.

0
ответ дан 22 May 2018 в 15:59

Таким образом, в Интернете нет хороших ресурсов, поэтому, надеюсь, это поможет. Все изменилось в 16.04 LTS. Как уже упоминалось в комментариях, необходимо установить dconf-editor.

После установки профили будут найдены в org > gnome > terminal > legacy.

Чтобы получить палитру, цвет фона , цвет переднего плана и полужирный цвет, чтобы отображаться в виде клавиш, вы можете просто возиться с настройками цвета в профиле через меню настроек профиля терминала. Как только это будет сделано для Zenburn, скопируйте настройки цвета из этого значения. Вы не сможете использовать gist as-is. Вместо этого вам придется вручную копировать каждый цвет в нужное место. Возможно, позже я напишу сценарий, чтобы сделать это автоматически.

0
ответ дан 18 July 2018 в 00:42

Таким образом, в Интернете нет хороших ресурсов, поэтому, надеюсь, это поможет. Все изменилось в 16.04 LTS. Как уже упоминалось в комментариях, необходимо установить dconf-editor.

После установки профили будут найдены в org > gnome > terminal > legacy.

Чтобы получить палитру, цвет фона , цвет переднего плана и полужирный цвет, чтобы отображаться в виде клавиш, вы можете просто возиться с настройками цвета в профиле через меню настроек профиля терминала. Как только это будет сделано для Zenburn, скопируйте настройки цвета из этого значения. Вы не сможете использовать gist as-is. Вместо этого вам придется вручную копировать каждый цвет в нужное место. Возможно, позже я напишу сценарий, чтобы сделать это автоматически.

0
ответ дан 24 July 2018 в 17:16

Другие вопросы по тегам:

Похожие вопросы: