1570 Solutions and counting.
This plugin is just a bash script editor.
Colors can be customized. Also additional defaults for dark theme exists.
Bracket switching + highlighti...
This Eclipse plugin allows to open a shell window or file manager from the popup menu in the navigation tree or editor view. Additionally it is possible to run selected file in the shell, copy file...
Last Updated on Thursday, August 3, 2017 - 17:44 by Albert Tregnaghi
Last Updated on Tuesday, May 9, 2017 - 15:25 by Andre Bossert
Back to the top