diff options
Diffstat (limited to 'biology/emboss/files/emboss-shell.in')
-rwxr-xr-x | biology/emboss/files/emboss-shell.in | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/biology/emboss/files/emboss-shell.in b/biology/emboss/files/emboss-shell.in new file mode 100755 index 000000000000..525b04bcc397 --- /dev/null +++ b/biology/emboss/files/emboss-shell.in @@ -0,0 +1,26 @@ +#!/bin/sh -e + +emboss_bin=%%PREFIX%%/bin +cat << EOM + +Prefixing \$PATH with $emboss_bin. + +Emboss contains commands that conflict with other tools, including at least +"charge", "cons", "garnier", "prophet", and "tcode". + +The other commands with these names may serve entirely different functions +and will not be accessible while running this shell unless you refer to them +by their absolute path name (e.g. %%LOCALBASE%%/bin/garnier), which is not +portable, BTW, so don't hard-code such paths into your scripts. + +Type "exit" or "Ctrl+D" to return to your normal shell. + +EOM + +export PATH=${emboss_bin}:$PATH + +# Invoke the user's chosen shell +if echo $SHELL | grep -q '/t?csh'; then + args='-f' +fi +exec $SHELL $args |