To improve environment building time, we setup a local docker registry running on the same private network as our binderhub.
So I have one instance running the registry without authentification on port 5000 with IP “*.1”, and another one with the binderhub “*.2” ( + all the nodes…). I followed this tutorial, but it needs a registry url which I don’t have (and ideally don’t want to, since I want to keep the registry local and private). Is there a way to use my private local docker registry with binderhub ? Of course I tried to change the config.json but it is not working :
registry: url: "*.1:5000" username: password: config: BinderHub: use_registry: true image_prefix: "*.1:5000/<prefix>-" DockerRegistry: token_url: None