A gedit external tool to manage compilation of a large number of languages. The tool hecks for the extension of the current file, saves the file and if capable compiles/executes the file.
To use this file :
- Go to edit > preferences > plugins
- Search for external tools and activate it.
- Tools menu -> Manage external tools
- Add a new tool using "+" button.
- Copy the content of the run-command window to the code window
- Set a keyboard shortcut if you like
- Ask to save the current document
- Set the current document as the input file
- Set the bottom pane for the output.