monkey/build_scripts/docker
Ilija Lazoroski a96efcdc7d Build: Downgrade pipenv to use 2022.7.4
It seems that every time a new version of pipenv is released, it breaks
our build. See also 01e886f866.
2022-08-17 08:59:51 -04:00
..
.gitignore Build: Move reusable parts of docker build scripts into new scripts 2021-07-27 13:08:55 -04:00
DOCKER_README.md Build: Link to setup instructions from Docker README.md 2021-10-21 09:22:57 -04:00
Dockerfile Build: Downgrade pipenv to use 2022.7.4 2022-08-17 08:59:51 -04:00
clean.sh Build: Remove .tgz from dist in docker/clean.sh 2021-07-28 15:52:17 -04:00
docker.sh Build: Add cleanup function to build_package 2022-06-03 09:02:32 -04:00
entrypoint.sh Build: Move appimage/ and docker/ into build_scrips/ 2021-07-27 08:12:01 -04:00
server_config.json Build: remove unused server config options from docker 2021-11-26 12:04:46 +02:00