GitHub repository: sitedata/eclipse-bash-editor
Description: Bash editor plugin for eclipse