View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0007511 | Taler | deployment and operations | public | 2022-12-07 17:45 | 2022-12-08 14:39 |
| Reporter | MS | Assigned To | MS | ||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | ||
| Summary | 0007511: Consider keep intermediate containers along the Docker base image builder. | ||||
| Description | After Gv's rapid disk memory consumption, the base script builder ([0]) was patched by using "--force-rm" when building the base image, unconditionally. That made difficult to obtain a shell when the _sources compilation_ failed, however. Even when the base image will be entirely based on DEB packages, errors may still happen along the build phase and therefore a shell to the last container can be helpful. So possibly "--force-rm" should be made optional. 0: deployment/docker/demo/build_base.sh | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2022-12-07 17:45 | MS | New Issue | |
| 2022-12-07 17:53 | MS | Description Updated | |
| 2022-12-08 14:38 | MS | Note Added: 0019506 | |
| 2022-12-08 14:39 | MS | Assigned To | => MS |
| 2022-12-08 14:39 | MS | Status | new => closed |
| 2022-12-08 14:39 | MS | Resolution | open => fixed |
| 2022-12-08 14:39 | MS | Note Added: 0019507 |
