diff options
| author | Andreas Maunz <andreas@maunz.de> | 2012-03-28 16:49:39 +0200 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2012-03-28 16:49:39 +0200 |
| commit | b4f0fbdade0abedb6bb4dcd61a6444fc8ad90089 (patch) | |
| tree | caf59c36150e1a48c7c52b8b1aa2bf9e31df37db /bin/algorithm-install | |
| parent | 15eebab5ab5fdcf8064effb6dcb1cf36a4f9226b (diff) | |
Better user hints
Diffstat (limited to 'bin/algorithm-install')
| -rwxr-xr-x | bin/algorithm-install | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bin/algorithm-install b/bin/algorithm-install index 99c4f7e..af65d97 100755 --- a/bin/algorithm-install +++ b/bin/algorithm-install @@ -51,5 +51,17 @@ fi echo install_with_bundler +echo +echo "Installation finished." +echo +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: NOW would be the best time to configure!" +echo +echo "Thank you for your attention." +echo + # return to wd cd "$DIR" |