Outils pour utilisateurs

Outils du site


service_sop:install_simple_mint

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
service_sop:install_simple_mint [2019/01/18 18:05]
sam [Modifier/personnaliser le menu de démarrage]
service_sop:install_simple_mint [2019/01/18 18:06] (Version actuelle)
sam [Modifier/personnaliser le menu de démarrage]
Ligne 120: Ligne 120:
 ==== Modifier/​personnaliser le menu de démarrage ==== ==== Modifier/​personnaliser le menu de démarrage ====
  
-  * Installer Grub Customizer grâce à cette documentation : https://​doc.ubuntu-fr.org/​grub-customizer +  * Installer Grub Customizer grâce à cette documentation ​(Ressources ​: https://​doc.ubuntu-fr.org/​grub-customizer:
-  * Ne laisser que deux lignes dans le menu Grub Linux Mint et Windows (et placer celle qui démarre par défaut en haut, au choix de l'​utilisateur. +
- +
 <​code>​sudo add-apt-repository ppa:​danielrichter2007/​grub-customizer <​code>​sudo add-apt-repository ppa:​danielrichter2007/​grub-customizer
 sudo apt update sudo apt update
 sudo apt-get install grub-customizer</​code>​ sudo apt-get install grub-customizer</​code>​
 +
 +  * Ne laisser que deux lignes dans le menu Grub : Linux Mint et Windows (et placer celle qui démarre par défaut en haut, au choix de l'​utilisateur.
 +
  
  
  
  
/var/www/documentation/data/pages/service_sop/install_simple_mint.txt · Dernière modification: 2019/01/18 18:06 par sam