Thanks rustybird for catching it.
pull/14/head
Jean-Philippe Ouellet 8 years ago
parent be1d984364
commit e59c863c23
No known key found for this signature in database
GPG Key ID: E7E455013D042EA1

@ -5,6 +5,6 @@ set -e
ID=$(xdotool selectwindow)
xprop -id "$ID" _QUBES_VMNAME | grep -q ' = ' \
|| { echo "${0##* /}: Not killing dom0 window $ID" >&2; exit 1; }
|| { echo "${0##*/}: Not killing dom0 window $ID" >&2; exit 1; }
xdotool windowkill "$ID"

Loading…
Cancel
Save