diff options
author | Andreas Maunz <andreas@maunz.de> | 2012-08-23 14:56:08 +0300 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2012-08-23 14:56:08 +0300 |
commit | 3bbe02ee0cfa0a99a4c3fb31735e1235fda72123 (patch) | |
tree | 93ebd3dfccd3cd26f218def21b2dd5d8408597e9 | |
parent | 3d94e02bffc42e79269ca20e9460a147e52807d3 (diff) |
Added call to otconfig
-rwxr-xr-x | utils.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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." |