From cf975ee14bb8ac092f9ff3c83a207853ebfac4d6 Mon Sep 17 00:00:00 2001 From: Tristan PILAT Date: Tue, 21 Apr 2020 18:19:33 +0200 Subject: [PATCH] We have no use of Vagrant here --- Vagrantfile | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 Vagrantfile diff --git a/Vagrantfile b/Vagrantfile deleted file mode 100644 index 619e2da..0000000 --- a/Vagrantfile +++ /dev/null @@ -1,43 +0,0 @@ -# -*- mode: ruby -*- -# vi: set ft=ruby : - -Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com') - -# Load ~/.VagrantFile if exist, permit local config provider -vagrantfile = File.join("#{Dir.home}", '.VagrantFile') -load File.expand_path(vagrantfile) if File.exists?(vagrantfile) - -Vagrant.configure('2') do |config| - config.vm.synced_folder "./", "/vagrant", type: "rsync", rsync__exclude: [ '.vagrant', '.git' ] - config.ssh.shell="/bin/sh" - - $deps = <