From e788e145f16de0f3b34ac66c550ca2e5f45bccc1 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 11 Nov 2016 15:40:48 +0100
Subject: [PATCH] Update LOCAL_SETUP.md ( Make docker daemon useable without
 sudo )

---
 LOCAL_SETUP.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/LOCAL_SETUP.md b/LOCAL_SETUP.md
index ac84515b..ee1286b6 100644
--- a/LOCAL_SETUP.md
+++ b/LOCAL_SETUP.md
@@ -22,6 +22,14 @@ vagrant ssh
 sudo apt-get install nginx  
 sudo ln -s /etc/nginx/sites-available/code_ocean /etc/nginx/sites-enabled  
 
+### Make docker daemon useable without sudo
+# Infos taken from: http://askubuntu.com/questions/477551/how-can-i-use-docker-without-sudo
+
+sudo groupadd docker
+sudo gpasswd -a ${USER} docker
+sudo service docker restart
+newgrp docker
+
 ### Start server
 vagrant ssh  
 cd /vagrant