Les derniers articles

Suivant

Actualités Windows

Suivant

À la une

Windows 11/10

linux Linux

GRUB : modifier les options de démarrage Linux

GRUB : modifier les options de démarrage Linux

malekalmorte

11 mai 2025

Ce tutoriel vous guide pas à pas pour apprendre à ajuster les paramètres de démarrage Linux, que ce soit temporairement via l’éditeur GRUB au démarrage, ou de manière permanente en modifiant le fichier /etc/default/grub.

Navigateur internet

Securite informatique

Hardware