diff options
author | Andreas Maunz <andreas@maunz.de> | 2012-08-23 14:51:34 +0300 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2012-08-23 14:51:34 +0300 |
commit | 1fcb22e875c45fa4a1aba5afa70397bcb4621e06 (patch) | |
tree | 32d159c1c1793074164c79231987549bc60e9aef | |
parent | 6836bf2462ab5c5453db2803980bd2ea9d472bce (diff) |
Simplified notification
-rwxr-xr-x | utils.sh | 15 |
1 files changed, 4 insertions, 11 deletions
@@ -120,20 +120,13 @@ notify() { echo if ps -o stat= -p $PPID | grep "s" >/dev/null 2>&1; then echo "IMPORTANT: How to configure your system if everything went fine:" - echo "IMPORTANT: ot-tools are supported for bash shell." - echo "IMPORTANT: a) Include '$OT_TOOLS_CONF' in shell startup (e.g. ~/.bashrc)." - echo "IMPORTANT: b) Manually source '$OT_TOOLS_CONF' every time." - echo "IMPORTANT: The command in both cases: '. $OT_TOOLS_CONF'" - echo "IMPORTANT: If you are using another shell please source '$OT_UI_CONF'" - echo "IMPORTANT: NOW would be the best time to configure!" - echo "Visit 'http://opentox.github.com/General/2012/08/09/install-opentox-development-environment/' for further information (e.g. the usage of ot-tools)." - echo - echo "Thank you for your attention." - echo + echo "IMPORTANT: bash shell only: '. $OT_TOOLS_CONF'" (convenient ot-tools) + echo "IMPORTANT: other shells: '. $OT_UI_CONF' (no ot-tools available)" + echo "IMPORTANT: More information: 'http://opentox.github.com/General/2012/08/09/install-opentox-development-environment'" + echo "IMPORTANT: Thank you for your attention." fi } - # Force loading configuration from local, if we are installing for the first time if [ -z "$OT_PREFIX" ]; then . ./config.sh |