Вопросы Теги

Как я изменяю шрифт панели вершины GNOME 3.8?

Останьтесь в том же месте и переместитесь в другое местоположение, невозможно - если Вы не taling о символьной ссылке.

cp сделает копию Вашего файла к новому местоположению, не изменяя исходную версию.

Как в комментарии говорится, Вашей большой проблемой являются пробелы в именах файлов. Перенесите свои аргументы cp в кавычках. ~ символ не расширится до Вашего корневого каталога, если это будет в кавычках; любое использование $HOME вместо этого (который расширен в двойных кавычках), или отпуск ~ вне кавычек.

cp "RubyTest.sublime-settings" \
    "$HOME/Library/Application Support/Sublime Text 2/Packages/User"
cp "RubyTest.sublime-settings" \
    ~/"Library/Application Support/Sublime Text 2/Packages/User"
3
20.08.2013, 12:03
1 ответ

Если Вы хотите быстрое и грязное решение, просто редактируете

/usr/share/gnome-shell/theme/gnome-shell.css

Конечно, это будет, вероятно, перезаписано в следующий раз, когда Вы обновляете свой пакет оболочки гнома.

Инструмент для очистки (но немного более сложный) путь должен создать Вас собственный (мини-) тема:

http://rlog.rgtti.com/2012/01/29/how-to-modify-a-gnome-shell-theme/

5
27.01.2020, 21:17
  • 1
    Это больше не работает (3.18). Я понимаю, что OP указал гнома 3.8, но комментарий просто, таким образом, другие как я не думают, "о, интересно, будет ли он работать сегодня..." :-) –  artfulrobot 24.03.2016, 19:05

Теги

Похожие вопросы