Confused by binderhub/launcher extra_args

Binder BinderHub
1

https://binderhub.readthedocs.io/en/latest/reference/launcher.html#binderhub.launcher.Launcher.launch

The launch function takes an extra_args param that will be posted to the jupyterhub api. I am struggling to figure out how to set these. I assumed maybe adding ?myparam=foobar to the url might work. However, i do not see this documented anywhere and it doesn’t seem to work for me.

I am using:

[0.2.0-0.dev.git.2752.h3450e52]
[1.1.3-n721.h0acbcf43]

My goal is to pass the profile slug to jupyterhub to avoid conflicts with other profiles not meant for binders.

2

The document you’ve linked to describes an internal BinderHub Python function. It’s not exposed via any public URL parameters.

3

Fair enough. It would however be quite nice if we could have Binderhub specify a profile in Jupyterhub.

p.s. It doesn’t really seem internal if it’s documented on the Launcher spec?

4

Also, this: Query parameter naming scheme? · Issue #712 · jupyterhub/binderhub · GitHub