gedit

15/02/2016 - 16:56 von Christine Roemer | Report spam
Hallo,

ich benutze Ubuntu 14.04 und habe gedit in der Version
3.10.4 und möchte gern gedit plugins installieren. leider
gelingt es nicht, da die mitgelieferten plugins ab der
Version 3 von gedit nicht funktionieren. Ich habe mich
auch schon im Netz belesen und erfahren, dass man sie
individuell aus dem Netz holen muss und unter
/.local/share/gedit/plugins
einfügen soll. Es klappt aber nicht. Hat jemand einen Vorschlag?

Mit Gruß
Christine
 

Lesen sie die antworten

#1 Andreas Leitgeb
16/02/2016 - 20:11 | Warnen spam
Christine Roemer wrote:
ich benutze Ubuntu 14.04 und habe gedit in der Version
3.10.4 und möchte gern gedit plugins installieren. leider
gelingt es nicht, da die mitgelieferten plugins ab der
Version 3 von gedit nicht funktionieren.



Selber verwende ich gedit nur selten, und hab auch keine
Plugins installiert.

Auf https://wiki.gnome.org/action/show/...uginsLists
scheint es so, als wàren die Plugins ab Version 3 auch von der
minor Version abhàngig.

$ apt-cache show gedit-plugins
zeigt mir ein Paket an, das eine Version 3.10.1-1ubuntu2 hat,
und es würde mich schon sehr wundern, wenn da Version-2 plugins
drin wàren.

Redest du von genau diesem Paket, oder gibt es noch andere
Pakete mit weiteren gedit-plugins?

Ich habe mich
auch schon im Netz belesen und erfahren, dass man sie
individuell aus dem Netz holen muss und unter
/.local/share/gedit/plugins
einfügen soll. Es klappt aber nicht. Hat jemand einen Vorschlag?



Ist da eine Tilde verlorengegangen ( also: ~/.local/share/... )
oder fàngt dieser Verzeichnisbaum tatsàchlich mit /.local an?

Ähnliche fragen