Provisioning of my development machine The machine needs: to be a ubuntu/debian/fedora/arch based system a running SSH daemon a running docker daemon my userid with sudo-rights Then simply call make Note: This repository is only for my personal use, so do not file any issues.