old gedit

PPA description

Not for nothing but not for much
Best way to use -
*Remove current gedit plugins package*
Add ppa, update sources
(- sudo add-apt-repository ppa:mc3man/older
Upgrade gedit, gedit-common & install ppa gedit-plugins package.

If you try to upgrade gedit & gedit-plugins then gedit will fail on an overwrite. In that case just force the gedit package install, easy in synaptic.
Better to just remove current plugin package 1st as mentioned

To go back -
Install & use ppa-purge
sudo ppa-purge ppa:mc3man/older
or
just remove the ppa from sources, remove gedit & plugins packages, update sources & re-install repo versions

Adding this PPA to your system

You can update your system with unsupported packages from this untrusted PPA by adding ppa:mc3man/older to your system's Software Sources. (Read about installing)

sudo add-apt-repository ppa:mc3man/older
sudo apt-get update
        
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

deb http://ppa.launchpad.net/mc3man/older/ubuntu xenial main 
deb-src http://ppa.launchpad.net/mc3man/older/ubuntu xenial main 
Signing key:
1024R/8E51A6D660CD88D67D65221D90BD7EACED8E640A (What is this?)
Fingerprint:
8E51A6D660CD88D67D65221D90BD7EACED8E640A

For questions and bugs with software in this PPA please contact Doug McMahon.

PPA statistics

Activity
0 updates added during the past month.
View package details

Overview of published packages

12 of 2 results
Package Version Uploaded by
gedit 3.18.3.is.really.3.10.4-0ubuntu13 Doug McMahon (2016-06-05)
gedit-plugins 3.18.0.is.really.3.10.1-1ubuntu4 Doug McMahon (2016-06-05)
12 of 2 results

Latest updates

  • gedit 79 weeks ago
    Successfully built
  • gedit-plugins 79 weeks ago
    Successfully built