Add the official vagrant boxes for debian 11/12 (#11135)

pull/11189/head
Max Gautier 2024-05-14 01:43:10 +00:00 committed by GitHub
parent 6dbb09435c
commit 3e4ea1065a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

2
Vagrantfile vendored
View File

@ -37,6 +37,8 @@ SUPPORTED_OS = {
"oraclelinux8" => {box: "generic/oracle8", user: "vagrant"}, "oraclelinux8" => {box: "generic/oracle8", user: "vagrant"},
"rhel7" => {box: "generic/rhel7", user: "vagrant"}, "rhel7" => {box: "generic/rhel7", user: "vagrant"},
"rhel8" => {box: "generic/rhel8", user: "vagrant"}, "rhel8" => {box: "generic/rhel8", user: "vagrant"},
"debian11" => {box: "debian/bullseye64", user: "vagrant"},
"debian12" => {box: "debian/bookworm64", user: "vagrant"},
} }
if File.exist?(CONFIG) if File.exist?(CONFIG)