Fedora 17. Gnome 3. Нетбук с разрешением экрана 1024х600.
И огромная верхняя панель. Расточительство!
Исправляем.
1. Нам нужно расширение gnome-shell под названием user-theme (и для тех, кто еще не установил — твикер Gnome). Я их установил из репозиториев Fedora:
yum install gnome-shell-extension-user-theme gnome-tweak-tool
Перезапускаем gnome-shell, делается это просто, нажимаем Alt-F2 и в появившейся строке набираем всего одну букву r, жмем Enter
Запускаем gnome-tweak-tool, включаем в нем наше новое расширение:
и снова перегружаем gnome-sheel (это мы уже умеем делать).
2. Надо корректно отредактировать текущую тему, это очень просто:
создаем каталог вида ~/.themes/mynewshell/gnome-shell, где mynewshell — имя твоей темы, произвольное. И копируем туда содержимое текущей темы Gnome 3 по-умолчанию:
$ cp -R /usr/share/gnome-shell/theme/* ~/.themes/mynewshell/gnome-shell/
3. Редактируем тему с тем, чтобы сделать панельку не такой ужасно «жирной». Открываем любимым редактором файл ~/.themes/mynewshell/gnome-shell/gnome-shell.css и ищем в коде такой вот кусок:
1 2 3 4 5 | #panel { background-color: black; font-weight: bold; height: 1.86em; } |
меняем его примерно так:
1 2 3 4 5 6 | #panel { background-color: black; font-weight: bold; font-size: 12px; height: 1.86em; } |
т.е. я добавил только font-size: 12px;.
4. Самое сложное, нам надо установить нашу тему, сделать это можно двумя способами. Первый простой способ, но у меня почему-то не вышло: открыть gnome-tweak-tool и выбрать тему из списка:
или, установить имя темы через gsettings:
gsettings set org.gnome.shell.extensions.user-theme name 'mynewshell'
Если тема сразу не применилась, то снова перезапустим gnome-shell.
Что имеем в итоге…
Против
При желании можно сделать эту панель еще меньше, изменив размер шрифта (параметр, который я добавил в файлик).
За помощь в созидании сего — спасибо Bookwar!