devDockerデーモンがインストールされているLinuxディストリビューションをダウンロードして、VMを作って起動している。Machineは複数のVMを管理できるため、どのVMでDockerを実行するかを指定する必要がある。NAMES設定する前はDockerデーモンが動いていないと怒られたけど、今回は問題なく実行できている。Machineって何って感じだったけど、これで多少は理解できた気がします。