diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-03 21:10:37 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-03 21:10:37 +0100 |
| commit | 621d71e03bc66b89e9dc5d6acc8c37b403adc8a2 (patch) | |
| tree | 1bd3b4476b31d31846fadacba8e1094c5445dbbd /reproduce/software/make/high-level.mk | |
| parent | b9b55561a8e50feaf0a69b004359cf311326dda5 (diff) | |
Added example of DockerHub deleting unused Docker images
I saw this link today in the news (to be implemented from November 1st,
2020), and because it is directly related to this work, I added it. Many
people assume that simply pushing a Docker image to DockerHub is enough to
preserve it, but ignore how much it costs to maintain the storage and
network capacity.
Diffstat (limited to 'reproduce/software/make/high-level.mk')
0 files changed, 0 insertions, 0 deletions