Добавить просадку в терминал Gnome
Возможно, я только что что-то что-то испортил или теперь есть другой класс CSS для создания дополнения в терминале gnome, но я не могу его загрузить. Я попробовал многочисленные решения на этой странице:
увеличить заполнение в терминале gnome
Но ни один из них не сделал работу дополнений. В последнем ответе говорится:
vte-terminal {
padding: 10px;
}
... но без радости.
Я только что вернулся через ubuntu через год, и я также заметил, что нет возможности установить изображение в качестве фона для терминала gnome, который раньше был в настройках.
3 ответа
Это связано с тем, где вы добавляете это в файл ~/.config/gtk-3.0/gtk.css. Я предполагаю, что в вашем файле больше строк, вот пример того, что я сделал, у меня есть padding:
Это начинается с строки 93 в файле.
panel-off */
VteTerminal, vte-terminal {
padding: 10px;
}
/* menu-off
/* End custom styles */
VteTerminal, vte-terminal {
padding: 10px;
}
Линии panel-off и menu-off уже были там. Я просто добавил свои строки между ними, потому что предполагаю, что */ и /* заканчиваются и начинаются с разделами в файле.
Сохраните файл, закройте все окна gnome-terminal.
РЕДАКТИРОВАТЬ: Также была использована переустановка gnome-terminal.
sudo apt install --reinstall gnome-terminal
Надеюсь, что это поможет!
-
1Да, это в этом файле, но у меня не было файла gtk.css, поэтому я его создал. см. здесь imgur.com/a/RPu08 – Darren Haynes 4 January 2018 в 08:26
-
2@ DarrenHaynes Интересно. Это определенно работает для меня здесь. imgur.com/hKh1xX5 и imgur.com/DYwYUgV Я также запускаю Xubuntu 16.04, и я не могу найти информацию, если GTK3 поддерживается в нем. – Terrance 4 January 2018 в 08:31
-
3Да, я думаю, что, возможно, я что-то испортил, когда я уже установил терминальный терминал. – Darren Haynes 4 January 2018 в 08:33
-
4@ DarrenHaynes. Я понятия не имею об этом. – Terrance 4 January 2018 в 08:36
-
5@ DarrenHaynes Я согласен с тобой! Иногда всегда приятно знать, что произошло и что именно заставляет что-то не работать. Но я рад, что он работает для вас сейчас. знак равно – Terrance 4 January 2018 в 09:50
Это связано с тем, где вы добавляете это в файл ~/.config/gtk-3.0/gtk.css. Я предполагаю, что в вашем файле больше строк, вот пример того, что я сделал, у меня есть padding:
Это начинается с строки 93 в файле.
panel-off */
VteTerminal, vte-terminal {
padding: 10px;
}
/* menu-off
Или вы можете добавить его в самую нижнюю часть файла после /* End custom styles */
/* End custom styles */
VteTerminal, vte-terminal {
padding: 10px;
}
Линии panel-off и menu-off уже были там. Я просто добавил свои строки между ними, потому что предполагаю, что */ и /* заканчиваются и начинаются с разделами в файле.
Сохраните файл, закройте все окна gnome-terminal.
РЕДАКТИРОВАТЬ: Также была использована переустановка gnome-terminal.
sudo apt install --reinstall gnome-terminal
Надеюсь, что это поможет!
Это связано с тем, где вы добавляете это в файл ~/.config/gtk-3.0/gtk.css. Я предполагаю, что в вашем файле больше строк, вот пример того, что я сделал, у меня есть padding:
Это начинается с строки 93 в файле.
panel-off */
VteTerminal, vte-terminal {
padding: 10px;
}
/* menu-off
Или вы можете добавить его в самую нижнюю часть файла после /* End custom styles */
/* End custom styles */
VteTerminal, vte-terminal {
padding: 10px;
}
Линии panel-off и menu-off уже были там. Я просто добавил свои строки между ними, потому что предполагаю, что */ и /* заканчиваются и начинаются с разделами в файле.
Сохраните файл, закройте все окна gnome-terminal.
РЕДАКТИРОВАТЬ: Также была использована переустановка gnome-terminal.
sudo apt install --reinstall gnome-terminal
Надеюсь, что это поможет!