Allow passing additional args to repo2docker #1765
Comments
yuvipanda
added a commit
to yuvipanda/binderhub
that referenced
this issue
Oct 6, 2023
Very helpful for a specific binderhub instance to customize how images are built. Off the top of my head, two useful things would be to pass `--repo-dir` (so you can have this work with a persistent home directory but still get access to the files in the image), and `--base-image` (so an install can use a different base image than rep2docker default). As it's a simple passthrough, I've added a unit test only (no integration test). Fixes jupyterhub#1765
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There's no way for us to configure binderhub to allow passing additional args to repo2docker. This is helpful when used with #1647 for example - I wanna pass
repo_dirto be/srv/repo, as when used with a persistent home directory $HOME is overriden with persistent directory. Instead of adding each possible option, we should just allow a passthrough.This is only configured by admins setting up binderhub, not end users.
The text was updated successfully, but these errors were encountered: