fix /etc/hosts editing

2019-10-09 10:36:01 +02:00 · 2019-10-09 10:36:01 +02:00 · b0ca03763f
parent 79ae34d190
commit b0ca03763f
1 changed files with 1 additions and 1 deletions
--- a/start_ocean.sh
+++ b/start_ocean.sh
@ -104,7 +104,7 @@ export LOCAL_GROUP_ID=$(id -g)
 if grep -q "aquarius" /etc/hosts; then
    echo "aquarius exists"
 else
-    sudo echo "127.0.0.1 aquarius" >> /etc/hosts;
+    echo "127.0.0.1 aquarius" | sudo tee -a /etc/hosts
 fi