The Docker Toolbox repo is still hanging around, although in archived form: https://github.com/docker/toolbox https://github.com/docker/toolbox With 19.03 it s

The Docker Toolbox repo is still hanging around, although in archived form: https://github.com/docker/toolbox https://github.com/docker/toolbox With 19.03 it should still be possible to access the public hub, I think.