linux docker notes

Cleanup old docker images

vigor: docker (last edited 2019-01-07 19:34:02 by PieterSmit)