GRUB Menu

GRUB Menu Jan 20, 2026

Travailler avec le menu GRUB

Ce tutoriel décrit comment éditer le menu GRUB. Il montrera également comment ajouter des systèmes d'exploitation et comment ajouter des écrans de démarrage.