Thanks @betatim - do I understand correctly that the workflow to get a pre-configured $HOME
in JupyterHub with a custom repo2docker image is following:
repo2docker --target-repo-dir /home_commons ...
Then, in the JupyterHub config.yaml
, use a post start copy command:
singleuser:
lifecycleHooks:
postStart:
exec:
command: ["cp", "-r", "/home_commons/*", "/home/joyvan/"]
Is that the way to go?