diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-16 18:30:31 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-16 18:30:31 +0200 |
commit | 14aa03789fcb71edecf0d909df4b37e3a4013e44 (patch) | |
tree | d47850e72ca0d481249e9dba0abed367e1b357ac /utils.sh | |
parent | fe584b59db1d4e59567787cddb1cd5bb57fa197e (diff) |
Added 4S backbone for each service.
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 |