Я не видел плагин "Text size" в списке плагинов при открытии Preferences->Plugins даже после установки пакета gedit-plugins (через apt install) и перезапуска gedit несколько раз. Итак, я загрузил соответствующий deb-файл (gedit-plugin-text-size_3.22.0-2_amd64.deb) с панели запуска (http://launchpadlibrarian.net/335063179/gedit-plugin-text-size_3.22.0-2_amd64.deb) для моего Ubuntu 17.10 x86_64 и установил его , перезапустил gedit и увидел плагин "Text size" после этого в списке. Включил его и, наконец, получил функцию увеличения / уменьшения с помощью mouse-scroll-wheel, который мне очень нужен.
Приветствия.
Очистите кеш и перезагрузите пакеты sudo apt-get clean sudo apt-get autoclean, затем попробуйте с sudo apt-get install -f, я тоже получаю эти ошибки.
То же самое здесь, но также и с выходом:
The following packages have unmet dependencies:
mysql-community-server : Depends: mysql-common (= 5.7.10-1ubuntu14.04) but 5.7.11-1ubuntu14.04 is to be installed
Depends: mysql-client (= 5.7.10-1ubuntu14.04)
mysql-server : Depends: mysql-community-server (= 5.7.11-1ubuntu14.04) but 5.7.10-1ubuntu14.04 is to be installed
E: Unmet dependencies. Try 'apt-get -f install' with no packages (or specify a solution).
Решение для меня было:
sudo apt-get install -f mysql-community-server