> 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
Kit mémoire DDR4 G. Skill Aegis 32 Go (2x16 Go) 3200 MHz à 82,13 € livrée
82,13 € 110 € -25% @Amazon Allemagne
Niveau à Bulle Bosch Professional - 25 cm avec dessous aimanté à 21,71 €
21,71 € 32 € -32% @Amazon
Jeu PC Dishonored : La mort de l'Outsider gratuit
Gratuit @Epic Games
Disque dur externe Western Digital My Book 12 To USB 3.0 à 238,39 € livré
238,39 € 285 € -16% @Amazon Allemagne
Mini PC Beelink Mini S (Celeron N5095, 8 Go RAM, SSD 256 Go, Windows 11 Pro) à 179,99 €
179,99 € 259 € -31% @Amazon
Processeur AMD Ryzen 7 5800X à 225,65 € livré
225,65 € 300 € -25% @Amazon Allemagne
SSD Crucial P3 Plus 4 To (NVMe, PCIe 4.0, M.2, 5000 Mo/s) à 330,99 €
330,99 € 379 € -13% @Amazon
SSD Seagate FireCuda 530 1 To (M.2, NVMe, PCie 4, 7300 Mo/s, PC/PS5, dissipateur StarWars) à 121,99 €
121,99 € 169 € -28% @Amazon
Souris Logitech MX Master 3S (bluetooth, capteur laser 8K, clics silencieux) à 93,68 € livrée
93,68 € 115 € -19% @Amazon Allemagne
Barrette mémoire DDR5 Kingston FURY Beast 16 Go 4800 MHz CL38 à 78,88 €
78,88 € 99,99 € -21% @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