Skip to content
Branch: master
Find file Copy path
Find file Copy path
2 contributors

Users who have contributed to this file

@mlr-msft @fmrl
46 lines (38 sloc) 1.73 KB
# -*- mode: ruby -*-
# vi: set ft=ruby :
# Vagrant configuration (
Vagrant.configure("2") do |config|
# the virtualbox provider will always work, so it's the default.
config.vm.provider "virtualbox" do |vb, override|
#vb.gui = true
vb.memory = "2048" = "debian/contrib-jessie64"
# the `vagrant-vbguest` plugin can fail when the guest tools installation
# prompts for confirmation, so we need to ensure it's not interactive.
if Vagrant.has_plugin? "vagrant-vbguest" then
config.vbguest.installer_arguments = "--nox11 -- --force"
# WARNING: vagrant's hyper-v support appears to work infrequently. virtualbox
# integration is more reliable (ymmv).
config.vm.provider "hyperv" do |hyperv, override|
#hyperv.gui = true
hyperv.memory = "2048"
# `hashicorp/precise64` hit a roadblock when trying to compile ocaml, so
# an alternative box with a newer distro needed to be used. = "nikel/xerus64"
# docker appears to be an unpopular vagrant provider (the most popular box
# has only 184 downloads at the moment this sentence is being written!). i
# prefer the docker provider to more heavyweight virtualization providers,
# however, but the docker provider seems to only work properly on linux.
config.vm.provider "docker" do |d, override|
# NOTE: you may need to manually pull this box before issuing a
#`vagrant up --provider=docker` on older versions of vagrant. = "tknerr/baseimage-ubuntu-16.04"
config.ssh.forward_x11 = true
config.vm.provision "shell", inline: <<-SHELL
/bin/sh /vagrant/scripts/setup/
You can’t perform that action at this time.