1481 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 + custo...
Last Updated on Friday, February 19, 2021 - 18:36 by Albert Tregnaghi
Last Updated on Thursday, February 18, 2021 - 19:53 by Albert Tregnaghi
Programming Languages, Other, IDE, General Purpose Tools, Editor
Last Updated on Monday, February 4, 2019 - 13:53 by Michael Bartl