Modifier le menu de démarrage GRUB gksudo gedit /etc/default/grubPuis faire la mise à jour du menugksudo gedit /etc/default/grubEditer le fichier de Grub Article précédent : Cyanogen Mod alpha 8 sur spica Précédent Article suivant : Sauvegarde Home Suivant