diff options
| -rw-r--r-- | vagrant/debian10/Vagrantfile | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/vagrant/debian10/Vagrantfile b/vagrant/debian10/Vagrantfile deleted file mode 100644 index 62104c4..0000000 --- a/vagrant/debian10/Vagrantfile +++ /dev/null @@ -1,28 +0,0 @@ -# -*- mode: ruby -*- -# vi: set ft=ruby : - -Vagrant.configure("2") do |config| - config.vm.box = "boxen/debian-10" - - config.vm.synced_folder ".", "/vagrant", disabled: true - config.vm.synced_folder "../../", "/bindfs", - type: "rsync", - rsync__auto: false, - rsync__exclude: ["vagrant"], - rsync__args: ["-av", "--delete-after"] - - config.vm.provider "virtualbox" do |v| - v.name = "bindfs-debian10" - end - config.vm.provider "libvirt" do |v| - v.driver = if File.exist?('/dev/kvm') then 'kvm' else 'qemu' end - end - - config.vm.provision "shell", reboot: true, inline: <<-SHELL - export DEBIAN_FRONTEND='noninteractive' - apt-get update - apt-get install -y fuse3 libfuse3-dev build-essential automake autoconf libtool pkg-config ruby valgrind - apt-get clean - echo user_allow_other > /etc/fuse.conf - SHELL -end |