Aunque tenemos a nuestra disposición gran cantidad de IDEs para programación, a veces viene bien un programa muy rápido y que tenga capacidad para compilar y ejecutar pequeños programas.
Aunque tenemos la posibilidad de cargar una consola integrada, pero no es suficiente.
Nos dirigimos a la configuración del programa…
Elegimos herramientas externas y escogemos Nuevo, para crear una nueva herramienta. Ahí encontraremos la siguiente ventana:
Rellenamos los campos y en script escribimos lo siguiente:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | xterm -name xt2 -e sh -c 'cd "%directory"; fichero="%filename"; ejecutable=${CF%.*}; extension=${CF#*.}; extension=`echo $extension | awk '\''{print tolower($0)}'\''`; rm $ejecutable 2> /dev/null; case $extension in "c") gcc -o $ejecutable "%filename" 1>&2 2>/tmp/ktc_err ;; "cpp") g++ -o $ejecutable "%filename" 1>&2 2>/tmp/ktc_err ;; *) echo "Extensión no reconocida" ;; esac ./ejecutable echo -e "\n-----------------"; echo "Compilación: "; cat /tmp/ktc_err; echo -e "--------------------\n"; printf "%s" "Pulsa INTRO para continuar"; read intro' |
Este script básicamente compilará el programa actual ya sea en c o c++ dependiendo de la extensión y lo ejecutará, al mismo tiempo veremos un pequeño informe de la compilación al final de la ejecución.
Ahora, vamos a establecer una tecla rápida para la acción, para ello, guardamos el script que hemos hecho y aceptamos la ventana de opciones. Ahora vamos a Preferencias > Configurar accesos rápidos y buscamos nuestra acción externa Compilar y Ejecutar:
Personalizamos el acceso rápido de acción y establecemos una nueva tecla rápida y aceptamos. En mi caso elegí Control+F9 que tienen algunos IDEs.
Actualización: Si en lugar de Kate eres usuario de gedit, puedes dirigirte a este post.
Pingback: Bitacoras.com /
Pingback: BlogESfera.com /
Sabes como hacerlo con gedit?…
@Christopher
Con gedit no tengo mucha experiencia, pero puedes probar esto: http://blogofsysadmins.com/ejecutar-scripts-desde-gedit ; ¡pruébalo y me cuentas!
Disculpa pero en el Kate que yo tengo no me sale herramientas externas.
Lamentáblemente, se publicó un mensaje diciendo que se necesitaba gente para mantener este plugin, y parece que por el momento nadie se ha hecho cargo. http://kate-editor.org/2011/08/09/maintainer-needed-kate-external-tools-plugin/ Es una pérdida importante para Kate 🙁
Thanks for sharing informative post. It is one of the best site that I have visited. Hope you will share more quality blog posts thank you. Scarface Bomber Jacket