paulo1205
(usa Ubuntu)
Enviado em 04/12/2015 - 19:50h
Existe um plugin do gedit, chamado
External-Tools, que permite a execução de comandos como o
make ou algum outro comando externo. Só que ele só executa o
make com sucesso se você tiver um
Makefile no mesmo diretório que o arquivo que estiver sendo editado.
A comunicação do GEdit com seus plugins se dá por meio de variáveis de ambiente (que informam nome do arquivo, diretório de trabalho etc.) e pipes (o conteúdo do arquivo é jogado na entrada, e a eventual saída do plugin modifica o arquivo original). Sabendo disso, seria possível adaptar o conteúdo do
External-Tools para produzir um executável a partir do arquivo corrente, para programas contendo apenas um arquivo, e já compilar e executar numa tacada só.