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.
