Installing files into locations outside $HOME from repo2docker postBuild

I’m wondering if there is any way I can install files to somewhere other than $HOME from postBuild in a repo2docker/MyBinder build?

I’m trying to use repo2docker in part as a way of generating Docker images from a relatively simple build file, but need to be able to stash some files outside of $HOME, otherwise they get clobbered as a volume is mounted on top of $HOME.

From a quick look at permissions, it looks like everything outside $HOME is owned by root?


PS ah, to answer my own question, it looks like we can stash stuff inside /srv/conda?

1 Like

And to further clarify, the path is available as $CONDA_DIR