> Tous les forums > Forum Linux
 [TUTO]Linux Mint 17, et l'affichage du Menu Grub au Démarrage.Sujet résolu
Ajouter un message à la discussion
Page : [1] 
Page 1 sur 1
reivillo
  Posté le 30/05/2014 @ 13:28 
Aller en bas de la page 
Astucien

Bonjour @ Toutes & Tous.

Le Menu Grub, n'apparaissant pas sur certains,
de nos PCs en Recyclage, nous avons fait ceci, avec succès:

Ici pluma étant l'Éditeur de texte par défaut.
Pour vérifier le votre, ouvrir un Fichier Texte,
et se rendre dans la Barre de Menus > Aide > À propos
et noter le nom, sans les numéros de version.
En suite ouvrir le Fichier, avec cette Commande:

gksu pluma /etc/default/grub

Modifier la ligne:
GRUB_HIDDEN_TIMEOUT=0 en mettant un < # >,au début,
comme ci-dessous;
#GRUB_HIDDEN_TIMEOUT=0

Pour certains Écrans( LCD, par exemple ),
il peut être nécessaire de Supprimer le < # >, sur la ligne #GRUB_TERMINAL=console
pour aboutir a ceci GRUB_TERMINAL=console

Peut-être, profiter de changer la durée d'affichage du Menu(ici 5 Secondes);
GRUB_TIMEOUT=5

et pourqoi-pas, activer le Bip(Dans la fin du fichier)
#GRUB_INIT_TUNE="480 440 1" en supprimant le < # >, au début,
comme ci-dessous;
GRUB_INIT_TUNE="480 440 1"

Et surtout, enregistrer les changements,
sans oublier mettre à jour le Grub,
par cette ligne de Commande:

sudo update-grub

Reivillo.



Modifié par reivillo le 23/06/2014 16:53
Publicité
Page : [1] 
Page 1 sur 1

Vous devez être connecté pour participer à la discussion.
Cliquez ici pour vous identifier.

Vous n'avez pas de compte ? Créez-en un gratuitement !
Recevoir PC Astuces par e-mail


La Lettre quotidienne +226 000 inscrits
Avec l'actu, des logiciels, des applis, des astuces, des bons plans, ...

Les bonnes affaires
Une fois par semaine, un récap des meilleurs offres.

Les fonds d'écran
De jolies photos pour personnaliser votre bureau. Une fois par semaine.

Les nouveaux Bons Plans
Des notifications pour ne pas rater les bons plans publiés sur le site.

Les bons plans du moment PC Astuces

Tous les Bons Plans
Amazon Fire TV Cube à 74,99 €
74,99 € 119,99 € -38% @Amazon
Clavier Logitech G213 Prodigy RVB + Norton 360 Deluxe (3 postes, 12 mois)à 36,99 €
36,99 € 70 € -47% @Cdiscount
Amazon Echo Show 5 (Alexa) + prise connectée Meross à 39,99 €
39,99 € 60 € -33% @Amazon
Microsoft Office 365 Famille (1 utilisateur) + Norton 360 (1 appareil) pendant 15 mois à 45,99 €
45,99 € 69 € -33% @Amazon
Tour PC Lenovo IdeaCentre G5 (Core 5 11400F, 16Go RAM, SSD 512 Go, GeForce RTX 3060 12Go) à 749,99 €
749,99 € 999 € -25% @Cdiscount
Amazon Fire TV Stick 4K Max à 41,99 €
41,99 € 64,99 € -35% @Amazon
Console Microsoft Xbox Series S + 2ème manette + 20 € sur carte adhérent à 229,99 €
229,99 € 299,99 € -23% @Fnac
SSD Interne M.2 NVMe Samsung 980 500 Go à 49,33 €
49,33 € 65 € -24% @Amazon
Webcam Logitech C922 Pro à 54,99 €
54,99 € 85 € -35% @Amazon
Boîtier PC NZXT H510 (ATX, panneau en verre trempé) à 80,58 €
80,58 € 95 € -15% @Amazon

Sujets relatifs
Changer l'ordre de démarrage grub linux Mint 7
comment agrandir la police du menu de linux mint
[TUTO]Linux Mint 17, et Adobe FlashPlayer.
Linux mint internet pas reconnu sur un ordinateur
Entrée du Grub qui mène à la mauvaise version de Linux
Pas de wi-fi sous linux Mint
Ubuntu ou Linux Mint?
Linux Mint 17 et Cinnamon : activation du pavé numérique
Linux mint en FRANCAIS
Premier essai linux mint ......
Plus de sujets relatifs à [TUTO]Linux Mint 17, et l''affichage du Menu Grub au Démarrage.
 > Tous les forums > Forum Linux