Run aux4 commands inside a Docker container. Useful for running aux4 in isolated environments or deploying aux4-based services.
aux4 aux4 pkger install aux4/docker
Given a .aux4 file with a hello command, run it inside Docker:
> aux4 aux4 docker run hello
Hello, World!
For more details, see aux4 aux4 docker.