gedit 2.30 mit gnome 3 ppa

Submitted by ingo on Fri, 2011-05-06 10:28
Das GNOME3-Team hat mit dem GNOME3-PPA schöne Arbeit gemacht, nur leider sind nicht da alle gedit-Plugins drin. Insbesondere das von mir viel verwendete gedit latex-plugin fehlt, und auch die Version im latex-plugin-SVN tuts nicht. Mit gedit 2.30 gehts aber auch unter gnome 3 perfekt, und das folgende pin-Setting (in /etc/apt/preferences.d/gedit) hat geholfen: 
Package: gedit
Pin: version 2.30*
Pin-Priority: 900

Package: gedit-common
Pin: version 2.30*
Pin-Priority: 900

Package: gedit-plugins
Pin: version 2.30*
Pin-Priority: 900