Instalei o Kate Editor (com o KWrite, que instala alguns plugins) e acabei de perceber que o plugin Kate External Tools está faltando desde a versão 4.8.
Eu realmente preciso deste plugin, e se alguém puder me mostrar onde encontrar uma versão antiga do Kate ou até mesmo o plugin em si, eu realmente aprecio isso.
EDIT: By the way, eu encontrei em esta página o plugin, mas (meu nível de Linux é média) Não consigo instalá-lo: quando chego ao comando make , recebo o seguinte erro:
[ 88%] Building CXX object CMakeFiles/kateexternaltoolsplugin.dir/kate_externaltools_plugin.o
In file included from /home/nybble/kate-plugin-externaltools/kate_externaltools_plugin.cpp:3:0:
/home/nybble/kate-plugin-externaltools/kate_externaltools_plugin.h:6:25: fatal error: kate/plugin.h: No such file or directory
#include <kate/plugin.h>
^
compilation terminated.
CMakeFiles/kateexternaltoolsplugin.dir/build.make:179: recipe for target 'CMakeFiles/kateexternaltoolsplugin.dir/kate_externaltools_plugin.o' failed
make[2]: *** [CMakeFiles/kateexternaltoolsplugin.dir/kate_externaltools_plugin.o] Error 1
CMakeFiles/Makefile2:60: recipe for target 'CMakeFiles/kateexternaltoolsplugin.dir/all' failed
make[1]: *** [CMakeFiles/kateexternaltoolsplugin.dir/all] Error 2
Makefile:127: recipe for target 'all' failed
make: *** [all] Error 2
Obrigado antecipadamente !!