On Thu, 2011-11-24 at 11:04 +0000, Matthew Baker wrote:
> +1
>
> Maybe have a selection in /etc/default/grub, e.g.:
>
> GRUB_XEN_DEFAULT=1
>
> Then have 09_linux_xen_before script with a selector at the top.
>
> if let $GRUB_XEN_DEFAULT ;then
> /etc/grub.d/20_linux_xen
> fi
You'd also want to suppress 20_linux_xen in its original priority.
FWIW what I do is "ln 20_linux_xen /etc/grub.d/09_linux_xen" and add to
the top:
case $(basename $0) in
09*)
#echo "ALLOWING $0" 1>&2
;;
*)
#echo "SKIPPING $0" 1>&2
exit 0
;;
esac
You could do something similar comparing basename to
$GRUB_XEN_PRIORITY=09|20?
Ian.
--
Ian Campbell
Current Noise: Judas Priest - A Touch Of Evil
Spock: We suffered 23 casualties in that attack, Captain.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
