Docker-Machine and Virtualbox April 11, 2016 Quick note: the original post dates from 14-04-2016 but got updated at 01-05-2020 with latest versions and it was essentially written from scratch again.
Remove all Docker images and containers April 10, 2016 Quick note: the original post dates from 10-04-2016 but got updated at 02-05-2020 and it was essentially written from scratch again.