Ceci est une ancienne révision du document !
GRUB
Sous Debian, le fichier de configuration est /etc/default/grub. Après avoir fait des modifications, il faut régénérer GRUB:
sudo update-grub
- linux/grub.1593783740.txt.gz
- Dernière modification : 2021/04/04 17:01
- (modification externe)