Я нахожусь на человечности 14.04 и gedit 3.10
В предыдущем сообщении я спросил, почему zencoding плагин не работал над моей версией gedit.
Но теперь я понял, что из этого списка для 3,8 ~ 3.10 zencoding не предлагаются: https://wiki.gnome.org/Apps/Gedit/ThirdPartyPlugins-v3.8
в то время как в этом списке от 3,0 ~ 3.6 это - https://wiki.gnome.org/Apps/Gedit/ThirdPartyPlugins-v3.0
Как я могу понизить свою версию gedit?
make
управляйте сбоями в моей Яркой Ubuntu. Я подозреваю, что библиотеки являются слишком новыми для Gedit 3.16. Возможно, у Вас есть удача с Надежным человеком.
Загрузите последние 3,6 версии отсюда
cd; wget http://ftp.gnome.org/pub/GNOME/sources/gedit/3.6/gedit-3.6.2.tar.xz
Установите библиотеки разработки
sudo apt-get build-dep gedit
Извлеките архив
tar xf gedit-3.6.2.tar.xz
Настройте с --prefix=/usr/local
защищать Вашу существующую установку
cd gedit-3.6.2
./configure --prefix=/usr/local
Сборка
make
Если не было никакой ошибки на предыдущих шагах, установке через checkinstall
а не с sudo make install
, checkinstall
создает и устанавливает deb пакет для Вас
sudu apt-get install checkinstall
sudo checkinstall
Создайте файл на рабочем столе
nano ~/.local/share/applications/gedit36.desktop
Добавьте строки ниже
[Desktop Entry]
Name=Gedit
GenericName=Text Editor
X-GNOME-FullName=
Comment=
Exec=/usr/local/bin/gedit
Icon=gedit
Terminal=false
Type=Application
Categories=GNOME;
StartupNotify=true
X-Ubuntu-Gettext-Domain=gedit