Я использую Gnome Ubuntu 16.04.1 и хочу изменить размер значков в тире. Поэтому я хотел отредактировать файл/usr/share/gnome-shell/themes/gnome-shell.css
Этот файл не существует, а скорее файл "гном-shell.css.save", которого я не могу открыть. Какие-либо идеи?
И это - даже правильный файл для изменения размера значков? Я не говорю о значках на рабочем столе, но значках тире.
Я знаю, что было много подобных вопросов, но я погуглил всю ночь и не мог найти правильный ответ.
Большое спасибо.
Можно захватить копию CSS оболочки по умолчанию здесь:
https://raw.githubusercontent.com/GNOME/gnome-shell/master/data/theme/gnome-shell.css
можно действительно использовать это в качестве основы для переопределения оболочки по умолчанию, разрабатывающей как увеличение размера шрифта.
Получают Пользовательское расширение Темы:
https://extensions.gnome.org/extension/19/user-themes /
Создают каталог:
mkdir $HOME/.themes/new-theme-name/gnome-shell
Копия, что Gnome basefile к нему:
cd $HOME/.themes/new-theme-name/gnome-shell
wget https://raw.githubusercontent.com/GNOME/gnome-shell/master/data/theme/gnome-shell.css
Добавляют самый конец файла с Вашими желаемыми "переопределениями".
Пример:
/* Increase font size here */
stage {
font-family: cantarell, sans-serif;
font-size: 14pt;
color: white;
}
Используя инструмент тонкой настройки переключатель к Вашей новой теме.
я понимаю OP, который спрашивают о значках, но это должно быть подобным процессом.