From ce9582f7ca06c34e8b92011fb4758b43d8e91856 Mon Sep 17 00:00:00 2001
From: Fabio Sinibaldi <fabio.sinibaldi@isti.cnr.it>
Date: Tue, 25 Feb 2025 15:59:57 +0100
Subject: [PATCH] minor fixes

---
 utils/install_docker.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/utils/install_docker.sh b/utils/install_docker.sh
index f60c8b1..6640b77 100644
--- a/utils/install_docker.sh
+++ b/utils/install_docker.sh
@@ -14,7 +14,7 @@ echo "Refreshing packages.."
 sudo apt update
 
 echo "NB Check if installing from Docker repo instead of Ubuntu repo"
-apt-cache policy -y docker-ce
+apt-cache policy docker-ce
 
 # Check repo
 read -p "Are we installing from Docker repo? (Y/N): " repo_ok 
@@ -29,8 +29,8 @@ sudo apt install -y docker-ce
 #Add user to docker group
 read -p "Do you want to add the current user to docker group? (Y/N): " add_user 
 if [[ $add_user == [yY] || $add_user == [yY][eE][sS] ]]; then
-	sudo newgrp docker
 	sudo usermod -aG docker ${USER}
+	newgrp docker
 	echo "User added to docker group"
 fi