equal
deleted
inserted
replaced
80 |
80 |
81 Source and Build Volumes : |
81 Source and Build Volumes : |
82 |
82 |
83 Role | Docker Volume | Host path in example | Rationale |
83 Role | Docker Volume | Host path in example | Rationale |
84 ------------------|-------------------|----------------------|------------------------------------------------ |
84 ------------------|-------------------|----------------------|------------------------------------------------ |
85 source directory | /home/devel/src | ~/src | Always relative to CWD : "../" |
85 source directory | /home/runner/src | ~/src | Always relative to CWD : "../" |
86 build directory | /home/devel/build | ~/build | First argument to rebuild_docker.sh or ~/build |
86 build directory | /home/runner/build | ~/build | First argument to rebuild_docker.sh or ~/build |
87 |
87 |
88 'build directory' can be specified as absolute path argument of rebuild_docker.sh. |
88 'build directory' can be specified as absolute path argument of rebuild_docker.sh. |
89 If not specified it defaults to ~/build |
89 If not specified it defaults to ~/build |
90 |
90 |
91 ``` |
91 ``` |