1743 Solutions and counting.
This plugin is an editor for windows batch files (*.bat, *.cmd)
Quick-Outline (CTRL + o)
Open referenced labels by hyperlink
Simple code comple...
This plugin is a bash script editor.
Integrated bash debugger
Run bash scripts from IDE by configurable parameters, environment variables etc.
Templates (some defaults + cust...
Last Updated on Monday, August 3, 2020 - 03:37 by Albert Tregnaghi
Last Updated on Monday, April 20, 2020 - 13:13 by Albert Tregnaghi
Programming Languages, Other, IDE, General Purpose Tools, Editor
Last Updated on Monday, February 4, 2019 - 13:53 by Michael Bartl