diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index 482a3e1a92..8f131e580f 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -14,7 +14,7 @@ build $build_components
create_boot_directory
set config {
-
+
@@ -37,7 +37,7 @@ set config {
}
append_if [have_spec acpi] config {
-
+
@@ -51,25 +51,25 @@ append_if [have_spec acpi] config {
}
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
-
+
}
append_if [have_spec ps2] config {
-
+
}
append_if [have_spec framebuffer] config {
-
+
}
append_if [have_spec sdl] config {
-
+
@@ -78,7 +78,7 @@ append_if [have_spec sdl] config {
}
append_if [have_spec x86] config {
-
+
@@ -86,7 +86,7 @@ append_if [have_spec x86] config {
}
append config {
-
+
diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 703b24c73d..70f93caa49 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -24,7 +24,7 @@ build $build_components
create_boot_directory
set config {
-
+
@@ -45,7 +45,7 @@ set config {
-
+
@@ -54,7 +54,7 @@ set config {
-
+
@@ -64,7 +64,7 @@ set config {
-
+
@@ -74,7 +74,7 @@ set config {
}
append_if [have_spec acpi] config {
-
+
@@ -88,26 +88,26 @@ append_if [have_spec acpi] config {
}
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
-
+
}
append_if [have_spec ps2] config {
-
+
}
append_if [have_spec framebuffer] config {
-
+
}
append_if [have_spec x86] config {
-
+
diff --git a/repos/ports/run/virtualbox_auto_disk.run b/repos/ports/run/virtualbox_auto_disk.run
index cae91360b1..8fcdbc0cc3 100644
--- a/repos/ports/run/virtualbox_auto_disk.run
+++ b/repos/ports/run/virtualbox_auto_disk.run
@@ -7,7 +7,7 @@ set use_iso 0
set vdi_image "win7.vdi"
set config_of_app {
-
+
@@ -34,7 +34,7 @@ set build_components { }
set boot_modules { }
set config_of_app {
-
+
}
diff --git a/repos/ports/run/virtualbox_auto_share.run b/repos/ports/run/virtualbox_auto_share.run
index 77b789e96b..1f05f0be53 100644
--- a/repos/ports/run/virtualbox_auto_share.run
+++ b/repos/ports/run/virtualbox_auto_share.run
@@ -99,7 +99,7 @@ catch { exec dd if=/dev/urandom of=bin/test.bin bs=4096 count=8160 }
# Step 0: prepare overlay.vdi for a clean run of the VM
#
set config_of_app {
-
+
@@ -143,7 +143,7 @@ set boot_modules {
}
set config_of_app {
-
+
@@ -152,7 +152,7 @@ set config_of_app {
-
+
@@ -160,7 +160,7 @@ set config_of_app {
-
+
@@ -187,7 +187,7 @@ set config_of_app {
-
+
@@ -200,7 +200,7 @@ set config_of_app {
-
+
@@ -209,7 +209,7 @@ set config_of_app {
-
+