Additional command scripts for ShellEd (Eclipse shell script editor)