The real cause for the original error message was I had version 1.5.4 installed. Since I just started playing with vagrant a month ago, I did not realize that vagrant is moving so fast. Kudos to vagrant developers.
But what I described previously are still applicable. On Thursday, May 29, 2014 11:47:16 PM UTC-7, Yiliang Bao wrote: > > Answer my own question. > > Since this page (http://docs.vagrantup.com/v2/provisioning/docker.html) > says: "The docker provisioner can automatically install Docker, pull Docker > containers, and configure certain containers to run on boot." I thought I > did not have to install docker separately. > > Here are what I found out to make vagrant/docker work: > > 1. Install docker > > sudo apt-get install docker.io > > 2. Add user name to group "docker" > > sudo gpasswd -a <username> docker > > Otherwise, we will see error message like "/etc/run/docker.sock: > permission denied." > > 3. Restart computer. There might be a simpler way to make the change take > effect. Some website suggests "sudo service docker restart", but it did not > work for me. > > On Thursday, May 29, 2014 10:49:22 AM UTC-7, Yiliang Bao wrote: >> >> Hi, >> >> First time to try Vagrant Docker. I follow the instructions in >> http://docs.vagrantup.com/v2/docker/basics.html >> >> 1. vagrant init >> >> 2. Change Vagrantfile to be the same as the first example in >> http://docs.vagrantup.com/v2/docker/basics.html >> >> 3. Run "vagrant up --provider=docker", I got the following message: >> >> "The provider 'docker' could not be found, but was requested to back the >> machine 'default'. Please use a provider that exists." >> >> Is there any plugin I need to install? According to vagrant >> documentation, vagrant should pull the required SW automatically. >> >> BTW, vagrant works fine with virtualbox provider. >> >> Thanks, >> Yiliang >> >> -- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
