Join GitHub today
docker with git repos #1358
I have only seen 1 issue after taking advantage of #531, usage with git repos
I get errors when I have a config like this with
When I remove the
To mount your
Note that each project has its own
Perhaps the nicest way to solve this would be to support optional SSH agent forwarding into the container, that way you wouldn't have to re-enter your private key's passphrase.
Note that in FP Complete's recommended Docker-based workflow, we eschew using git references and extra-deps in
added a commit
Jan 30, 2016
This is now working in master, at least for common cases.
I was looking through the blog and wiki, but couldn't find a section that explicitly talked about avoiding git references. Is there somewhere online that goes into more detail about the recommended workflow? We've got a few internal libraries that I'd like to use. The easiest solution seemed to be to reference them via git since that doesn't require an internal hackage server. I'm not sure where custom Docker images would fit in.