Profile pour Grub

http://doc.ubuntu-fr.org/optimisation#grub_profile

GRUB

• Au démarrage, taper ESC (Échap) pour avoir le menu GRUB
• Descendre sur la ligne du noyau standard de boot (Ubuntu X.XX.X, kernel 2.X.XX-XX-generic ou quelque chose de similaire), taper "e" (edit)
• Aller sur la ligne "kernel …", taper "e" (edit) à nouveau,
• Ajouter en fin de ligne un espace suivi de "profile" (sans les guillemets), pour obtenir une ligne de type /boot/vmlinuz-2.X.XX-XX-generic root=UUID=… ro quiet splash profile ("profile" ajouté en fin. Le UUID est propre à chaque machine, c'est l'identifiant de la partition de disque de boot),
• Valider avec ENTRÉE,
• Rester sur la ligne "kernel …" et taper "b" (boot)
• Booter et attendre l'arrêt total de l'activité disque dans l'écran de login
• Se connecter normalement.

GRUB2

• Eventuellement ESC (Échap) pour avoir le menu GRUB
• Descendre sur la ligne à éditer (généralement la première)
• [e] pour éditer la ligne
• [flèche bas] pour sélectionner la ligne du kernel (commençant par linux)
• A la fin de la ligne ajoutez " profile" (sans les guillemets et souvent après "ro quiet splash")
• [Ctrl + x] Bootez

Le prochain boot sera peut-être amélioré, le cache spécial de démarrage a été placé dans /etc/readahead

Cette manipulation doit être effectuée à nouveau après une mise à jour du noyau ou l'ajout de nouveaux services.