Version 1.4.0
This version contains
- configurable error level for validation failures
- improved bash script detection on files without file extension but being bash scripts
- bugfixes
For details see https://github.com/de-jcup/eclipse-bash-editor/milestone/17?closed=1