# 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""
docker run --rm -it -v $(pwd):/antora:z $image$cmd
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""
sudo docker run --rm -it -v $(pwd):/antora:z $image$cmd