This repository contains the commands to create and push the docker image for the creation of docker container to execute Ikarus
docker build --squash -t ikarusproject/ikarus-dev:latest . &> build.log
docker build --squash -t ikarusproject/ikarus:latest . &> build.log
Rename image tag
docker commit [CONTAINER_ID] [REPOSITORY]/[TAG]
To create an Ikarus container where a specific branch of Ikarus is installed you can use
docker build --build-arg branch=<branch-name> --squash -t ikarusproject/<branch-name-must-be-lowercase> . &> build.log
inside the InstalledContainer directory.
docker build --build-arg UID=$(id -u) --squash -t rath3t/ikarus-dev:latest . &> build.log
docker build --build-arg UID=$(id -u) --build-arg branch=pythonBindings --squash -t rath3t/ikarus-dev:pythonBindings . docker build --build-arg UID=$(id -u) --build-arg branch=pythonBindings --squash -t rath3t/ikarus:pythonBindings .
docker build --squash -t rath3t/ikarus-dev:pythonBindings . &> build.log