From 891be2aa5f73f15261e4f8d3c18ca3c0d6f9c957 Mon Sep 17 00:00:00 2001 From: terminaldweller Date: Sun, 27 Mar 2022 20:57:28 +0430 Subject: removed some useless machines --- gentoo/Vagrantfile | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 gentoo/Vagrantfile (limited to 'gentoo') diff --git a/gentoo/Vagrantfile b/gentoo/Vagrantfile deleted file mode 100644 index 8feb311..0000000 --- a/gentoo/Vagrantfile +++ /dev/null @@ -1,25 +0,0 @@ -# -*- mode: ruby -*- -# vi: set ft=ruby : - -Vagrant.configure("2") do |config| - - config.vm.box = "generic/gentoo" - - config.vm.box_check_update = false - - config.vm.network "public_network" - - config.vm.provider "virtualbox" do |vb| - vb.gui = false - vb.memory = "1024" - end - - # config.vm.provision "shell", inline: <<-SHELL - # sudo dnf update - # sudo dnf install -y vim make cmake ninja-build meson gcc tmux wget curl git - # sudo dnf install -y python3-pyelftools - # sudo dnf groupinstall "Development Tools" - # sudo dnf install libpcap-devel zlib-devel libfdt-devel openssl-devel - # sudo modprobe vfio-pci - # SHELL -end -- cgit v1.2.3