- Download the
Dockerfilefrom:
Or use the version available in this directory.
- Build the
guile-kernelimage:
docker build -t guile-kernel .- Copy the file
docker-compose-model.ymltodocker-compose.ymland adapt it according to your setup, as further described:
The docker-compose.yml has the instructions for "docker compose":
- It departs from the
guile-kernelimage (produced in step 2). - It is meant to be a local configuration of the docker image and must be adapted to the deployment server.
- In the
portssection, it redirects the default Jupyter port (8888) to another an external one (8888). The external can be different from the internal. - It maps one internal (docker machine) folder to external (host machine) one.
- A folder inside the internal docker home folder (
/home/guile_user/program2learn) is mapped to the external:/home/user/git/program2learn/. - You must adjust the external directory to your machine folder structure.
- A folder inside the internal docker home folder (
- The
restartclause considers the local dev environment (it does not restart whenever you turn the machine on). In the server configuration, we suggest replacing it withrestart: always.
- To run:
docker compose up