linux docker notes

Docker scratch/empty image

Cleanup old docker images

vigor: docker (last edited 2020-05-07 20:06:03 by PieterSmit)