Das Plugin für externe Gedit-Tools konnte nicht geladen werden

2

Ich hatte gedit mit einigen Plugins konfiguriert, aber nach dem Upgrade auf 13.10 erhalte ich jedes Mal, wenn ich die gedit-Plugins öffne und versuche, die externen Tools zu laden, die Meldung: Fehler beim Laden.

Ich weiß nicht, wie ich das beheben soll. Neuinstallation versucht, aber das hat nicht geholfen

gedit

— Carles Sentis
quelle

Siehe askubuntu.com/questions/362420/... für Leads

Danke, das hat ein paar Dinge geklärt, aber ich konnte noch keine Lösung dafür finden ..: /

— Carles Sentis

6

Versuchen Sie, wie hier beschrieben , gir1.2-gtksource-3.0 zu installieren. Es hat bei mir funktioniert.

sudo apt-get install gir1.2-gtksource-3.0

— Theodius
quelle

3

Ich habe das Paket gir1.2-gtksource-3.0 installiert, aber der External Tools Manager hat nicht funktioniert. Ich musste die Berechtigungen für dieses Verzeichnis ändern:

sudo chown <username> /home/<username>/.config/gedit

— Rauljosepalma
quelle