Přestal fungovat external tools v gedit

dvdmchl

Přestal fungovat external tools v gedit
« kdy: 16. 07. 2011, 09:00:52 »
Můžete prosím někdo kdo máte gedit 2.30.3 zkouknout zda vám funguje standardní plugin external tools?

Ono to v podstatě dělalo jenom tohle:
cat aktualni_dokument | ~/.gnome2/gedit/tools/nejaky_script > novy_dokument; gedit novy_dokument

Ale bylo to příjemné, připravit si script a pak ho na dokument spustit jedním klikem.
« Poslední změna: 18. 07. 2011, 10:24:00 od Petr Krčmář »