4 231
modifications
Ligne 283 : | Ligne 283 : | ||
mv /etc/grub.d/10_linux /etc/grub.d.disabled/ | mv /etc/grub.d/10_linux /etc/grub.d.disabled/ | ||
echo GRUB_DISABLE_OS_PROBER=true >> /etc/default/grub | echo GRUB_DISABLE_OS_PROBER=true >> /etc/default/grub | ||
echo GRUB_CMDLINE_XEN_DEFAULT="" >> /etc/default/grub | echo GRUB_CMDLINE_XEN_DEFAULT="" >> /etc/default/grub | ||
echo GRUB_CMDLINE_XEN="" >> /etc/default/grub | echo GRUB_CMDLINE_XEN="" >> /etc/default/grub | ||
update-grub | |||
</pre> | </pre> |