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 update
For questions and bugs with software in this PPA please contact Doug McMahon.
PPA statistics
- Activity
- 0 updates added during the past month.
Overview of published packages
1 → 2 of 2 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
gedit | 3.18.3.is.really.3.10.4-0ubuntu13 | Doug McMahon () |
gedit-plugins | 3.18.0.is.really.3.10.1-1ubuntu4 | Doug McMahon () |
1 → 2 of 2 results | First • Previous • Next • Last |