diff options
Diffstat (limited to 'stubdom/stubdom-dm')
| -rw-r--r-- | stubdom/stubdom-dm | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/stubdom/stubdom-dm b/stubdom/stubdom-dm index 256501bf0b..03fbd3ba0d 100644 --- a/stubdom/stubdom-dm +++ b/stubdom/stubdom-dm @@ -14,18 +14,30 @@ domid= domname= vncviewer=0 vncpid= +extra= while [ "$#" -gt 0 ]; do if [ "$#" -ge 2 ]; then case "$1" in - -d) domid=$2; shift ;; - -domain-name) domname=$2; shift ;; + -d) + domid=$2; + extra="$extra -d $domid"; + shift + ;; + -domain-name) + domname=$2; + shift + ;; -vnc) ip=${2%:*}; vnc_port=${2#*:}; shift ;; + -loadvm) + extra="$extra -loadvm $2"; + shift + ;; esac fi case "$1" in @@ -60,7 +72,7 @@ do sleep 1 done -creation="xm create -c stubdom-$domname target=$domid memory=32" +creation="xm create -c stubdom-$domname target=$domid memory=32 extra=\"$extra\"" (while true ; do sleep 60 ; done) | $creation & #xterm -geometry +0+0 -e /bin/sh -c "$creation ; echo ; echo press ENTER to shut down ; read" & |