На первый взгляд это звучит как дубликат . Невозможно изменить размер текста в gedit , но это не так: в этом вопросе они на самом деле говорят о размере шрифта, а я нет.
Я использую Ubuntu 14.04 и Gedit 3.10.4.
В любом случае - на прошлой неделе, чтобы позволить одному из моих детей играть с текстовым редактором, я изменил размер текста по умолчанию на большой, на вкладке «Редактирование / Настройки» / «Шрифт и цвет». Теперь я не могу изменить его обратно - я отмечаю флажок, чтобы использовать шрифт «Ubuntu Monospace 13» по умолчанию, и флажок ставится, а затем убирает галочку сразу. Вместо этого я могу изменить размер шрифта, и это изменение просто отменяется, как только оно сохраняется.
Я думаю, это может быть связано с каким-то конфигурационным файлом, который имеет неправильные разрешения: если я открою Gedit в режиме sudo, я смогу изменить размер шрифта. Но сделанное здесь изменение не переходит обратно в «не-sudo» gedit.
Единственный файл конфигурации, который я могу найти в доме, это ~/.config/gedit/accels
, и разрешения для него нормальные. Я думаю, что это всего лишь список сочетаний клавиш. В /usr/share/gedit/
есть много других конфигурационных файлов, но ни один из них не показывает, что они были изменены в последнее время.
Я пытался удалить и переустановить gedit, но это не имело никакого значения.
Есть идеи у кого-нибудь?
Это звучит похоже на эту проблему: gedit & quot; Управление внешними инструментами & quot; пункт меню не появляется
Используйте namei
, чтобы узнать, владеет ли sudo некоторыми из ваших файлов конфигурации:
$ namei -l ~/.config/gedit/tools
f: /home/rick/.config/gedit/tools
drwxr-xr-x root root /
drwxr-xr-x root root home
drwxr-xr-x rick rick rick
drwx------ rick rick .config
drwxr-xr-x root root gedit
drwxrwxr-x rick rick tools
Если вы видите root
, отображаются как владелец или группа ( после первых двух каталогов, /
и home
) затем используйте эту команду:
sudo chown -cR user:user /home/user
Где user
- ваш идентификатор пользователя. то есть Max:Max /home/Max