Updated tools in hint

1 files changed, 18 insertions, 14 deletions

diff --git a/README b/README
index 9da8acb..039b227 100644
--- a/README
+++ b/README
@@ -29,31 +29,35 @@ Anyone who wants can run multiple Opentox versions on the same machine: Just ins
 
 
 Some useful scripts to put in your ~/.bashrc in case you are using bash (assuming OT_PREFIX is '~/opentox-ruby'):
+
 # Load server config
-alias otconfig='source ~/.opentox-ui.sh'
+otconfig() {
+  source ~/.opentox-ui.sh
+}
 
 # Start the server
 otstart() {
-  sudo killall nginx redis-server>/dev/null 2>&1 
-  sudo env PATH=$PATH nohup redis-server ~/opentox-ruby/redis-2.2.2/redis.conf >/dev/null 2>&1 & 
-  sudo env PATH=$PATH nohup nginx -c ~/opentox-ruby/nginx/conf/nginx.conf >/dev/null 2>&1 &
+  otkill
+  sudo bash -c "source ~/.opentox-ui.sh; nohup redis-server ~/opentox-ruby/redis-2.2.2/redis.conf >/dev/null 2>&1 &"
+  sudo bash -c "source ~/.opentox-ui.sh; nohup nginx -c ~/opentox-ruby/nginx/conf/nginx.conf >/dev/null 2>&1 &"
   sleep 2
   if ! pgrep nginx>/dev/null 2>&1; then echo "Failed to start nginx."; fi
   if ! pgrep redis-server>/dev/null 2>&1; then echo "Failed to start redis."; fi
 }
 
+# Display log
+alias otless='less ~/.opentox/log/production.log'
+
+# Tail log
+alias ottail='tail -f ~/.opentox/log/production.log'
+
 # Reload the server
-alias otreload='sudo env PATH=$PATH nginx -s reload'
+otreload() {
+  sudo bash -c "source ~/.opentox-ui.sh; nginx -s reload"
+}
 
 # Kill the server
 otkill() {
-  killall nginx 
-  redis-cli shutdown
+  sudo killall nginx >/dev/null 2>&1
+  sudo bash -c "source ~/.opentox-ui.sh; redis-cli shutdown >/dev/null 2>&1"
 }
-
-# Display log
-alias otless='less /home/am/.opentox/log/production.log'
-
-# Tail log
-alias ottail='tail -f /home/am/.opentox/log/production.log'
-