diff options
| author | Martin Pärtel <martin.partel@gmail.com> | 2023-11-12 20:43:24 +0200 |
|---|---|---|
| committer | Martin Pärtel <martin.partel@gmail.com> | 2023-11-19 21:30:18 +0200 |
| commit | bea88937f4564e282063fb44aeac485012cfae87 (patch) | |
| tree | 51c60f83d52d394974d8c6d805db661b96c8e67b /vagrant/debian10 | |
| parent | 1fdf240aec17b6525ee2ebc76152ea8109f83595 (diff) | |
| download | bindfs-bea88937f4564e282063fb44aeac485012cfae87.tar.gz | |
CI: run Vagrant tests.
Diffstat (limited to 'vagrant/debian10')
| -rw-r--r-- | vagrant/debian10/Vagrantfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vagrant/debian10/Vagrantfile b/vagrant/debian10/Vagrantfile index d56a8f2..f42dbab 100644 --- a/vagrant/debian10/Vagrantfile +++ b/vagrant/debian10/Vagrantfile @@ -14,6 +14,9 @@ Vagrant.configure("2") do |config| 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' |