linux docker notes

Cleanup old docker images

vigor: docker (last edited 2019-04-01 18:54:18 by PieterSmit)