From 02254a590532b9a29d282730a0e6ff6664038cbc Mon Sep 17 00:00:00 2001 From: Jeremy Lecour Date: Tue, 4 Jul 2023 11:35:49 +0200 Subject: [PATCH] improve Vagrantfile --- Vagrantfile | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/Vagrantfile b/Vagrantfile index d3fee04..a80c5b3 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -1,8 +1,6 @@ # -*- 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) @@ -11,16 +9,26 @@ Vagrant.configure('2') do |config| config.vm.synced_folder "./", "/vagrant", type: "rsync", rsync__exclude: [ '.vagrant', '.git' ] config.ssh.shell="/bin/sh" - $install = <