1720 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
(Update: 2 Preferences have changed see Release 2.2.3 for details)
Last Updated on Friday, January 24, 2020 - 10:18 by Albert Tregnaghi
Last Updated on Friday, January 24, 2020 - 10:14 by Albert Tregnaghi
Other, Programming Languages, IDE, General Purpose Tools, Editor
Last Updated on Monday, February 4, 2019 - 13:53 by Michael Bartl