File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -71,7 +71,7 @@ A few notes on this docker run call:
7171 is passed as environment variable ` SSH_PRIVATE_KEY ` . This is to prevent from permission issues. The ssh key is for git interaction with the
7272 remote repository specified in the config file. Of course it needs to be already known to the git repo.
7373- The local git working folder would preferably also be mounted into the container so its contents could be cached between container runs.
74- But this seems not to be possible -- at least not without administrational permission on the host machine. The issue is that mounted
74+ But this seems not to be possible -- at least not without administrational permission on the host machine. The issue is that mounted
7575 volumes always belong to root, but the container does not run with root permissions, so it has no write access to the folder.
7676
7777## Notes on the python version ##
You can’t perform that action at this time.
0 commit comments