This repository has been archived on 2026-05-29. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
# Check if the current user is in the "docker" group. If true, no sudo is needed.
echo""
echo"This build script is using $runtime to run the build in an isolated environment."
echo""
$runtime 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 $runtime 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 $runtime run --rm -it -v $(pwd):/antora:z $image$cmd