/etc/grub.d/42_linux_xen:# Allow overriding GRUB_CMDLINE_LINUX and GRUB_CMDLINE_LINUX_DEFAULT.
/etc/grub.d/42_linux_xen:if [ "${GRUB_CMDLINE_LINUX_XEN_REPLACE}" ]; then
/etc/grub.d/42_linux_xen: GRUB_CMDLINE_LINUX="${GRUB_CMDLINE_LINUX_XEN_REPLACE}"
/etc/grub.d/42_linux_xen:if [ "${GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT}" ]; then
/etc/grub.d/42_linux_xen: GRUB_CMDLINE_LINUX_DEFAULT="${GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT}"
/etc/grub.d/42_linux_xen: GRUB_CMDLINE_LINUX="rootflags=subvol=${rootsubvol} ${GRUB_CMDLINE_LINUX}"
/etc/grub.d/42_linux_xen: "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}" "${GRUB_CMDLINE_XEN} ${GRUB_CMDLINE_XEN_DEFAULT}"
/etc/grub.d/42_linux_xen: "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}" "${GRUB_CMDLINE_XEN} ${GRUB_CMDLINE_XEN_DEFAULT}"
/etc/grub.d/42_linux_xen: "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} init=${init_path}" "${GRUB_CMDLINE_XEN} ${GRUB_CMDLINE_XEN_DEFAULT}"
/etc/grub.d/42_linux_xen: "single ${GRUB_CMDLINE_LINUX}" "${GRUB_CMDLINE_XEN}"