From c51bc5e64dcf90be5480065f1b14c4c159bf22b1 Mon Sep 17 00:00:00 2001 From: tstaubitz Date: Mon, 14 Nov 2016 16:12:17 +0100 Subject: [PATCH] Update LOCAL_SETUP.md --- LOCAL_SETUP.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/LOCAL_SETUP.md b/LOCAL_SETUP.md index ee1286b6..6944e714 100644 --- a/LOCAL_SETUP.md +++ b/LOCAL_SETUP.md @@ -22,8 +22,8 @@ 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 +#### 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