Найдите файл /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
Это должно работать, я не использую человечность, но это работает на меня на мягкой фетровой шляпе
Когда Вы настраиваете использование проводной сети /etc/network/interfaces
, Вы говорите Администратору сети не касаться его. Существует некоторая документация этого в статье Debian Wiki NetworkManager.
Так, чтобы заставить его работать, Ваш лучший выбор состоит в том, чтобы, вероятно, удалить (или прокомментировать) Ваша конфигурация в/etc/network/interfaces (за исключением lo), и полностью используйте Администратора сети. Вы, вероятно, захотите сделать их системными соединениями, таким образом, они смогут произойти перед входом в систему.
С другой стороны, Вы могли установить managed=true
как показано в Wiki.
/etc/init.d/network-manager start
. Это также не будет работать со смонтированным NFS/usr, но я предполагаю, что это не существует здесь. – derobert 28.06.2013, 18:30