| |
@@ -11,8 +11,21 @@
|
| |
# Running on Linux.
|
| |
# Let's assume that it's running the Docker deamon
|
| |
# which requires root.
|
| |
- echo ""
|
| |
- echo "This build script is using Docker to run the build in an isolated environment. You might be asked for a root password in order to start it."
|
| |
- echo "The preview will be available at http://localhost:8080/"
|
| |
- sudo docker run --rm -v $(pwd):/antora:ro,z -v $(pwd)/nginx.conf:/etc/nginx/conf.d/default.conf:ro,z -p 8080:80 nginx
|
| |
+ if groups | grep -wq "docker"; then
|
| |
+ # Check if the current user is in the "docker" group. If true, no sudo is needed.
|
| |
+ echo ""
|
| |
+ echo "This build script is using Docker to run the build in an isolated environment."
|
| |
+ echo "The preview will be available at http://localhost:8080/"
|
| |
+ echo ""
|
| |
+ docker run --rm -v $(pwd):/antora:ro,z -v $(pwd)/nginx.conf:/etc/nginx/conf.d/default.conf:ro,z -p 8080:80 nginx
|
| |
+ else
|
| |
+ # User isn't in the docker group; run the command with sudo.
|
| |
+ echo ""
|
| |
+ echo "This build script is using Docker to run the build in an isolated environment. You might be asked for your password."
|
| |
+ echo "You can avoid this by adding your user to the 'docker' group, but be aware of the security implications. See https://docs.docker.com/install/linux/linux-postinstall/."
|
| |
+ echo ""
|
| |
+ echo "The preview will be available at http://localhost:8080/"
|
| |
+ echo ""
|
| |
+ sudo docker run --rm -v $(pwd):/antora:ro,z -v $(pwd)/nginx.conf:/etc/nginx/conf.d/default.conf:ro,z -p 8080:80 nginx
|
| |
+ fi
|
| |
fi
|
| |
This is a simple fix that adds a check for whether the user running the script is in the
docker
group or not. If they are, the command is run withoutsudo
, if they are not, it's the same command withsudo
and a message pointing out you can avoid that.Fixes #3.