This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.

Anmol Sethi 4c4a7413a1

docker: Allow passing $DOCKER_USER to set the username in the container ...

Needs to be reflected in the documentation and the dockerhub description now.

Closes #881

2020-08-27 14:20:56 -04:00

..

build.sh

Rename container and release-container to images and release-image

2020-06-03 15:45:16 -04:00

Dockerfile

docker: Allow passing $DOCKER_USER to set the username in the container

2020-08-27 14:20:56 -04:00

entrypoint.sh

docker: Allow passing $DOCKER_USER to set the username in the container

2020-08-27 14:20:56 -04:00