diff options
author | Andreas Maunz <andreas@maunz.de> | 2012-08-23 14:52:46 +0300 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2012-08-23 14:52:46 +0300 |
commit | 3d94e02bffc42e79269ca20e9460a147e52807d3 (patch) | |
tree | fc3f045e9fcf9129830efedae6306f01a52f6e7a | |
parent | 1fcb22e875c45fa4a1aba5afa70397bcb4621e06 (diff) |
Syntax error fixed
-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' (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." |