Skip to content

Latest commit

 

History

History
16 lines (13 loc) · 632 Bytes

README.md

File metadata and controls

16 lines (13 loc) · 632 Bytes

gedit-compile-tool

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 :

  1. Go to edit > preferences > plugins
  2. Search for external tools and activate it.
  3. Tools menu -> Manage external tools
  4. Add a new tool using "+" button.
  5. Copy the content of the run-command window to the code window
  6. Set a keyboard shortcut if you like
  7. Ask to save the current document
  8. Set the current document as the input file
  9. Set the bottom pane for the output.