From 684ebc2a5e0642275a4f58948cbfe768b5e16019 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Mon, 20 May 2019 04:07:25 +0000 Subject: [PATCH] Vagrantfile: Support docker provider. Signed-off-by: Anders Kaseorg --- Vagrantfile | 7 ++++ tools/lib/provision.py | 8 +++- tools/setup/dev-vagrant-docker/Dockerfile | 48 +++++++++++++++++++++++ 3 files changed, 62 insertions(+), 1 deletion(-) create mode 100644 tools/setup/dev-vagrant-docker/Dockerfile diff --git a/Vagrantfile b/Vagrantfile index fb10794968..7a11b7535b 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -159,6 +159,13 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| vb.vmx["numvcpus"] = vm_num_cpus end + config.vm.provider "docker" do |d, override| + override.vm.box = nil + d.build_dir = File.join(__dir__, "tools", "setup", "dev-vagrant-docker") + d.has_ssh = true + d.create_args = ["--ulimit", "nofile=1024:65536"] + end + $provision_script = <