Делаем верхнюю панель Gnome 3 в Fedora 17 уже и меньше

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!

Добавить комментарий