Hello!
I’m fairly new to Binder, but it has been a really useful construct for us to launch and deploy our custom, Python-wrapped C++ application within a Jupyter-lab based environment.
I’m still in the prototyping phase - for now, we custom build the Docker image ourselves, push the image to DockerHub, then create a Dockerfile within the repository passed to mybinder that includes a single “FROM …” line to pull the image.
All of this works just fine. However, I notice that when it is not able to locate the docker image in its cache, it first ‘builds’ the image (again, albeit, faster), then it pushes the image, before pulling it and starting the image.
Is there a way to avoid the pushing and pulling parts? I tried putting the Dockerfile in a ‘binder/’ folder, but to no avail.
Thanks (and, thank you for an amazing product btw!)