Outils pour utilisateurs

Outils du site


grub-customizer

Installation

sudo add-apt-repository ppa:danielrichter2007/grub-customizer && sudo apt-get update && sudo apt-get install -y grub-customizer
grub-customizer.txt · Dernière modification: 2016/12/04 17:22 (modification externe)