diff --git a/src/server_manager/install_scripts/install_server.sh b/src/server_manager/install_scripts/install_server.sh index 9196d1c47..e403f2ed2 100755 --- a/src/server_manager/install_scripts/install_server.sh +++ b/src/server_manager/install_scripts/install_server.sh @@ -88,7 +88,7 @@ function verify_docker_installed() { function verify_docker_running() { if ! docker info > /dev/null 2>&1 ; then - log_error "It seems like you may not have permissions to run Docker. To solve this, you may need to add your user to the docker group. We recommend running \"sudo usermod -a -G docker $USER && newgrp docker\" and then attempting to install again." + log_error "It seems like you may not have permission to run Docker. To solve this, you may need to add your user to the docker group. We recommend running \"sudo usermod -a -G docker $USER && newgrp docker\" and then attempting to install again." exit 1 fi }