From 7da67a331966f28bf7afc6360d79f40d1adb9e61 Mon Sep 17 00:00:00 2001 From: Chaim Lev-Ari Date: Sun, 27 Feb 2022 12:57:26 +0200 Subject: [PATCH] feat(vagrant): initial setup --- Vagrantfile | 70 +++++++++-------------------------------------------- 1 file changed, 12 insertions(+), 58 deletions(-) diff --git a/Vagrantfile b/Vagrantfile index 34df5b2..114e77c 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -6,71 +6,25 @@ unless Vagrant.has_plugin?("vagrant-disksize") raise Vagrant::Errors::VagrantError.new, "vagrant-disksize plugin is missing. Please install it using 'vagrant plugin install vagrant-disksize' and rerun 'vagrant up'" end -# All Vagrant configuration is done below. The "2" in Vagrant.configure -# configures the configuration version (we support older styles for -# backwards compatibility). Please don't change it unless you know what -# you're doing. -Vagrant.configure("2") do |config| - # The most common configuration options are documented and commented below. - # For a complete reference, please see the online documentation at - # https://docs.vagrantup.com. +$setup_script = <