| commit | 85a03e1d0cd5f94a56ac6188cf6d4e4ef3dd3452 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Wed Jul 11 07:51:03 2018 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Wed Jul 11 07:24:41 2018 +0000 |
| tree | 67b02a0d77c78f323dff34814a73a3f1f03ca397 | |
| parent | 1a59a581976cd171ecb3844098a77e4a4813f0d4 [diff] |
Use proper Docker prune to remove waste Use the correct and supported docker command to remove all the waste of past images and containers, instead of relying on ad-hoc scripts to find out what's old and dangling. Change-Id: I8a3c0bc3540caeb4de75812ef6d08410134402a2