Use generic VirtualBox guest OS names

Rocky 10, Alma 10, and Debian 13 are not yet known by Virtualbox, so we use the generic versions of those
2025-08-17 14:21:51 -05:00
parent fde11d0a98
commit 55c336b55f
3 changed files with 3 additions and 3 deletions
@@ -12,4 +12,4 @@ boot_command = [
  "<leftCtrlOn>x<leftCtrlOff>"
 ]
 cd_files = [ "distros/almalinux/10/disc/*" ]
-vbox_os_type = "RedHat10_64"
+vbox_os_type = "RedHat_64"
@@ -19,4 +19,4 @@ boot_command = [
 "<f10>"
 ]
 http_directory = "distros/debian/13/http/"
-vbox_os_type   = "Debian13_64"
+vbox_os_type   = "Debian_64"
@@ -12,4 +12,4 @@ boot_command = [
  "<leftCtrlOn>x<leftCtrlOff>"
 ]
 cd_files = [ "distros/rockylinux/10/disc/*" ]
-vbox_os_type = "RedHat10_64"
+vbox_os_type = "RedHat_64"