Ich habe das Plugin „Externe Tools“ für gedit aktiviert. Ich habe auf „Tools“ > „Externe Tools verwalten“ geklickt, aber es wurde kein Dialog angezeigt. Es passierte nichts. Was habe ich falsch gemacht? Wie kann ich dieses Plugin neu installieren?
Antwort1
Installieren Sie das Paket, falls es noch nicht vorhanden ist gir1.2-gtksource-3.0:
sudo apt-get install gir1.2-gtksource-3.0
Geben Sie Ihrem Benutzer dann die Eigentümerschaft am GEdit-Konfigurationsverzeichnis:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Öffnen Sie GEdit und Sie sollten nun das Plugin „Externe Tools“ verwenden können.
Antwort2
Nur das hat ausgereicht, um das Problem auf meinem PC zu lösen.
Geben Sie Ihrem Benutzer dann die Eigentümerschaft am GEdit-Konfigurationsverzeichnis:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/geditÖffnen Sie GEdit und Sie sollten nun das Plugin „Externe Tools“ verwenden können.