About ShellEd Doc plugin

A superb shell script editor for Eclipse.