Custom local docker registry

Binder
1

Hi all,

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

Thank you,

1 Like