From 46085aa3ca2bed11e6dc487d25bd9b9ad45169ec Mon Sep 17 00:00:00 2001 From: Manuel Muth Date: Tue, 20 Aug 2024 16:13:54 +0200 Subject: [PATCH] update docker command to add user directly in docs (#229) --- .../general_information_docker/general_information_docker.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docker/general_information_docker/general_information_docker.rst b/docs/docker/general_information_docker/general_information_docker.rst index f91aedc0..a04ec538 100644 --- a/docs/docker/general_information_docker/general_information_docker.rst +++ b/docs/docker/general_information_docker/general_information_docker.rst @@ -24,7 +24,7 @@ You can verify that you have docker successfully installed by running: which should print out a "Hello from Docker!" message. .. note:: - However make sure your user is in the docker group. Check with: ``groups`` command. To add your user to the docker group run: ``sudo usermod -aG docker ``. + However make sure your user is in the docker group. Check with: ``groups`` command. To add your user to the docker group run: ``sudo usermod -aG docker $(whoami)``. Useful commands """"""""""""""""