summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Maunz <andreas@maunz.de>2012-08-23 14:51:34 +0300
committerAndreas Maunz <andreas@maunz.de>2012-08-23 14:51:34 +0300
commit1fcb22e875c45fa4a1aba5afa70397bcb4621e06 (patch)
tree32d159c1c1793074164c79231987549bc60e9aef
parent6836bf2462ab5c5453db2803980bd2ea9d472bce (diff)
Simplified notification
-rwxr-xr-xutils.sh15
1 files changed, 4 insertions, 11 deletions
diff --git a/utils.sh b/utils.sh
index b4cceab..384f57d 100755
--- a/utils.sh
+++ b/utils.sh
@@ -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