From 4c49d7aba7d3e6add0ce4fed58d773dc243e1f5f Mon Sep 17 00:00:00 2001 From: Kroese Date: Fri, 21 Apr 2023 11:03:07 +0200 Subject: [PATCH] Arguments --- run/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run/run.sh b/run/run.sh index b60f5d2..e447d28 100755 --- a/run/run.sh +++ b/run/run.sh @@ -60,7 +60,7 @@ RAM_OPTS=$(echo "-m ${RAM_SIZE}" | sed 's/MB/M/g;s/GB/G/g;s/TB/T/g') CPU_OPTS="-smp ${CPU_CORES},sockets=1,cores=${CPU_CORES},threads=1" EXTRA_OPTS="-device virtio-balloon-pci,id=balloon0 -object rng-random,id=rng0,filename=/dev/urandom -device virtio-rng-pci,rng=rng0" ARGS="${DEF_OPTS} ${CPU_OPTS} ${RAM_OPTS} ${KVM_OPTS} ${MON_OPTS} ${SERIAL_OPTS} ${NET_OPTS} ${DISK_OPTS} ${EXTRA_OPTS}" -ARGS=(${ARGS//$'\t'/}) +ARGS=("${ARGS//$'\t'/}") for a in "${ARGS[@]}"; do echo "> '$a'"