Вопросы Теги

Как я изменяю размер панели вершины оболочки GNOME

Вы захотите сделать файлы rw другими (не только группа и владелец). Нужно отметить, что могли быть проблемы безопасности с выполнением этого, но я буду chown папки назад пользователю/группе Apache затем используют chmod o+rw на папках для разрешения Netbeens чтению-записи файлы. Я не протестировал это, но это должно работать. Если Вы предпочитаете битовые маски, я верю chmod 766 на папках достигнет того же результата.

6
11.06.2012, 00:32
2 ответа
  1. Держите обоих"[Windows] key + [Alt]"
  2. "Right-click"панель
  3. Нажмите "Properties".

Во "вкладке"Общие"" просто измените размер панели.

2
27.01.2020, 20:28

Найдите файл /usr/share/gnome-shell/theme/gnome-shell.css

откройте его для редактирования путем выполнения команды

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

затем в том файле прямо в начале Вы будете видеть 

/* default text style */
stage {
    font-family: cantarell, sans-serif;
    font-size: 11pt; 
    color: white;
}

никакое изменение font-size: 11pt кому: font-size: 9pt

и сохраните файл, теперь Вы изменили размер шрифта для оболочки, которая изменит размер главной панели также, но теперь необходимо перезапустить тему для загрузки этого файла

так нажимают высокий звук + F2 и входят r и нажмите Enter

Это должно работать, я не использую человечность, но это работает на меня на мягкой фетровой шляпе

4
27.01.2020, 20:28
  • 1
    Там какой-либо путь состоит в том, чтобы внести локальное изменение вместо того, чтобы перезаписать системные файлы? –  xuhdev 12.07.2014, 20:37
  • 2
    , Это - тема оболочки, таким образом, это, как предполагалось, было отредактировано на уровне оболочки, я предполагаю, я не следовал за обновлениями в оболочке гнома, хотя –  pahnin 14.07.2014, 12:09

Теги

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