Des informations concernant grub et les paramètres de démarrage d'un système Linux
linux
grub
boot
ReplierReplier toutDéplierDéplier toutÊtes-vous sûr de vouloir supprimer ce lien ?Êtes-vous sûr de vouloir supprimer ce tag ?
Le gestionnaire de marque-pages personnel, minimaliste, et sans base de données par la communauté Shaarli