No meu caso ao acrescentar o comando abaixo, deu erro informando que o Puppet não estava instalado: web_config.vm.provision "puppet" do |puppet| puppet.manifest_file = "web.pp"
Em que momento o Puppet foi instalado, já que existia a opção de instalação no Vagrantfile que foi comentada: web_config.vm.provision "shell", inline: "sudo apt-get update && sudo apt-get install -y puppet"
Não ficou claro o momento em que o Puppet foi instalado na VM e não houve mais necessidade do comando acima.
Até então, pelo que entendi, ao destruir a VM eu teria que instalar o Puppet novamente no shell da VM.
