Create default Docker machine on VirtualBox with custom settings
You might want to do this to allocate extra RAM and disk size for Docker (esp. when dealing with large container images)
- Ensure that there's not yet been a Docker machine called 'default' (
docker-machine ls). If so, you should remove it (
docker-machine rm default).
In theory, you can just create a second machine with a different name. This is not recommended since VirtualBox assigns IP addresses to each machine non-deterministically every time you restart your computer, causing docker-machine to choke on TLS cert-related issues