I’m wondering if there is any way I can install files to somewhere other than
postBuild in a
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