diff options
Diffstat (limited to 'utils.sh')
| -rwxr-xr-x | utils.sh | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -127,10 +127,11 @@ notify() { echo if ps -o stat= -p $PPID | grep "s" >/dev/null 2>&1; then echo "IMPORTANT: How to configure your system:" - echo "IMPORTANT: a) Include '$OT_UI_CONF' in shell startup (e.g. ~/.bashrc)." - echo "IMPORTANT: b) Manually source '$OT_UI_CONF' every time." - echo "IMPORTANT: The command in both cases: '. $OT_UI_CONF'" + 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: 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 about the usage of ot-tools." echo echo "Thank you for your attention." echo |