2. fix PCI pass-through: Support for domains other than "0000"

This commit is contained in:
Albrecht Lohofener
2025-03-06 15:00:12 +01:00
parent 6851450468
commit 277fb90577
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -8,7 +8,7 @@ cleanup() {
# Add your cleanup commands here
if [ -n "$PCI_1" ]; then
if [[ "$PCI_1" == 0000:* ]]; then
if [[ "$PCI_1" =~ ^[0-9]{4}: ]]; then
PCI_SLOT="$PCI_1"
else
PCI_SLOT="0000:$PCI_1"
+1 -1
View File
@@ -252,7 +252,7 @@ USB_ARGS="${USB_1_ARGS} ${USB_2_ARGS}"
PCI_ARGS=""
PCI_1_ARGS=""
if [[ -n "$PCI_1" ]]; then
if [[ "$PCI_1" == 0000:* ]]; then
if [[ "$PCI_1" =~ ^[0-9]{4}: ]]; then
PCI_SLOT="$PCI_1"
else
PCI_SLOT="0000:$PCI_1"