1

I am on ubuntu 14.04 and gedit 3.10
In a previous post I asked why zencoding plugin did not work on my version of gedit.

But now I realized that from this list for 3.8 ~ 3.10 zencoding is not offered: https://wiki.gnome.org/Apps/Gedit/ThirdPartyPlugins-v3.8

while in this list from 3.0 ~ 3.6 it is https://wiki.gnome.org/Apps/Gedit/ThirdPartyPlugins-v3.0

How can I downgrade my version of gedit?

s_p
  • 135

1 Answers1

2

The make command fails in my Ubuntu Vivid. I suspect that the libraries are too new for Gedit 3.16. Maybe you have luck with Trusty.

  1. Download the latest 3.6 version from here

    cd; wget http://ftp.gnome.org/pub/GNOME/sources/gedit/3.6/gedit-3.6.2.tar.xz

  2. Install the development libraries

    sudo apt-get build-dep gedit

  3. Extract the archive

    tar xf gedit-3.6.2.tar.xz

  4. Configure with --prefix=/usr/local to protect your existing installation

    cd gedit-3.6.2
./configure --prefix=/usr/local

  5. Build 

    make

  6. If there was no error in the previous steps, install via checkinstall and not with sudo make install, checkinstall creates and installs a deb package for you

    sudu apt-get install checkinstall
sudo checkinstall

  7. Create a desktop file

    nano ~/.local/share/applications/gedit36.desktop

    Add the lines below

    [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
A.B.
  • 92,125