Форум — Desktop Как изменить шрифт верхней панели в Gnome 3.16.2 gnome 0 1 Собственно сабж. Метод правки файла gnome-shell.css не помогает. Ссылка
Где распологается дефолтная тема gnome-shell? (комментарий) Unnamed ★★ (13.07.15 23:05:53 MSK) Ссылка
Я такой скрипт для Fira Sans использую: #!/bin/sh RES="/usr/share/gnome-shell/gnome-shell-theme.gresource" TARGET="$HOME/.local/share/themes/Adwaita-Fira/gnome-shell" rm -rf "$TARGET" mkdir -p "$TARGET" for x in $(gresource list "$RES") do gresource extract "$RES" "$x" > "$TARGET/$(basename "$x")" done find $TARGET -name "*.css" | xargs sed -i 's/Cantarell/"Fira Sans", Cantarell/g' find $TARGET -name "*.css" | xargs sed -i 's/font-weight: bold;/font-weight: 500;/g' Black_Roland ★★★★ (30.07.15 14:37:12 MSK) Ссылка