summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Maunz <andreas@maunz.de>2012-08-23 14:56:08 +0300
committerAndreas Maunz <andreas@maunz.de>2012-08-23 14:56:08 +0300
commit3bbe02ee0cfa0a99a4c3fb31735e1235fda72123 (patch)
tree93ebd3dfccd3cd26f218def21b2dd5d8408597e9
parent3d94e02bffc42e79269ca20e9460a147e52807d3 (diff)
Added call to otconfig
-rwxr-xr-xutils.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/utils.sh b/utils.sh
index bf08681..0e0335c 100755
--- a/utils.sh
+++ b/utils.sh
@@ -120,7 +120,7 @@ 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: bash shell only: '. $OT_TOOLS_CONF' (convenient ot-tools)"
+ echo "IMPORTANT: bash shell only: '. $OT_TOOLS_CONF; otconfig' (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."