Skip to content

Commit

Permalink
Small change to text, also checking if my git email is set correctly
Browse files Browse the repository at this point in the history
  • Loading branch information
dborkan committed Apr 9, 2018
1 parent e8b4cbe commit 03f526a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/server_manager/install_scripts/install_server.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
}
Expand Down

0 comments on commit 03f526a

Please sign in to comment.