logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 21-12-2018 09:01:26

rb
Membre
Lieu : Jura
Distrib. : LinuxMint 21.1
Noyau : 5.15.0-56-generic
(G)UI : Cinnamon
Inscription : 24-07-2016

[résolu] GRUB modification temps de démarrage

bonjour,
il m'est demandé de modifier le temps de démarrage sur une machine en dualboot win10-DFLinux.
j'ai regardé sur ma machine comment faire mais ça ne marche pas :

rb@debian:~$ sudo gedit /etc/default/grub



# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT=0
GRUB_TIMEOUT=10



j'ai passé de 5 à 10 seconde pour voir et fait un $ sudo update-grub
mais pas de changement au démarrage.

où est ce que ça coince ?

@+
Richard

Dernière modification par rb (22-12-2018 09:03:25)


Geekom iT11  \ LinuxMint 21.1 Cinnamon

Hors ligne

#2 21-12-2018 09:56:57

raleur
Membre
Inscription : 03-10-2014

Re : [résolu] GRUB modification temps de démarrage

rb a écrit :

ça ne marche pas


C'est-à-dire ?


Il vaut mieux montrer que raconter.

Hors ligne

#3 21-12-2018 10:06:37

Croutons
Membre
Distrib. : Debian12
Noyau : Linux 6.1.0-13-amd64
(G)UI : Fluxbox(NakeDeb)
Inscription : 16-12-2016

Re : [résolu] GRUB modification temps de démarrage

Bonjour
Ton fichier a bien été recréé quand tu a fais update-grub?

ls -l /boot/grub/grub.cfg


-->les cahiers du debutant<--      WikiDF-->Découvrir les principales commandes Linux<-- 
L' expérience, c'est le nom que chacun donne à ses erreurs. Oscar Wilde

Hors ligne

#4 21-12-2018 11:16:28

rb
Membre
Lieu : Jura
Distrib. : LinuxMint 21.1
Noyau : 5.15.0-56-generic
(G)UI : Cinnamon
Inscription : 24-07-2016

Re : [résolu] GRUB modification temps de démarrage

va comprendre,
après la modification de 5 à 10 secondes, j'ai fait et refait des démarrages et toujours à 5 '.
j'ai arrêté ma machine pendant mon absence de 2 heures, je remets en route et la tempo est à 10 secondes.
comment se fait il que la modif ne soit pas prise en compte au premier démarrage ?

sinon :

rb@debian:~$ ls -l /boot/grub/grub.cfg
-r--r--r-- 1 root root 8295 déc.  21 08:54 /boot/grub/grub.cfg
 


Geekom iT11  \ LinuxMint 21.1 Cinnamon

Hors ligne

#5 21-12-2018 13:52:51

otyugh
CA Debian-Facile
Lieu : Quimperlé/Arzano
Distrib. : Debian Stable
Inscription : 20-09-2016
Site Web

Re : [résolu] GRUB modification temps de démarrage

-Soit la modif n'a pas été faite (donner le retour de

grep "timeout=5" /boot/grub/grub.cfg

)
-Soit la modif est faite mais grub se trouve sur une partition /boot séparé qu'il faut monter avant de faire un update-grub
- Soit la modif a été fait mais grub-install a été fait d'un autre système, et donc ce grub pointe vers cet autre système à moins que tu refasse un grub-install /dev/sdX de ton système actuel pour corriger la chose.

Dernière modification par otyugh (21-12-2018 13:53:39)


virtue_signaling.pngpalestine.png

En ligne

#6 22-12-2018 09:02:36

rb
Membre
Lieu : Jura
Distrib. : LinuxMint 21.1
Noyau : 5.15.0-56-generic
(G)UI : Cinnamon
Inscription : 24-07-2016

Re : [résolu] GRUB modification temps de démarrage

otyugh a écrit :

-Soit la modif n'a pas été faite (donner le retour de

grep "timeout=5" /boot/grub/grub.cfg

)
-Soit la modif est faite mais grub se trouve sur une partition /boot séparé qu'il faut monter avant de faire un update-grub
- Soit la modif a été fait mais grub-install a été fait d'un autre système, et donc ce grub pointe vers cet autre système à moins que tu refasse un grub-install /dev/sdX de ton système actuel pour corriger la chose.



pour répondre :

rb@debian:~$ grep "timeout=5" /boot/grub/grub.cfg
rb@debian:~$ grep "timeout=10" /boot/grub/grub.cfg
    set timeout=10
    set timeout=10
rb@debian:~$
 



grub se trouve sur sda1 et il n'y a qu'un systéme.
je vais arrêter là mais je ne comprends pas pourquoi ça n'a pas fonctionné dès le 1er démarrage.

@+
merci à vous

Dernière modification par rb (22-12-2018 09:05:24)


Geekom iT11  \ LinuxMint 21.1 Cinnamon

Hors ligne

#7 22-12-2018 19:18:25

rb
Membre
Lieu : Jura
Distrib. : LinuxMint 21.1
Noyau : 5.15.0-56-generic
(G)UI : Cinnamon
Inscription : 24-07-2016

Re : [résolu] GRUB modification temps de démarrage

à otyugh

La commande suivante est moins ambigue et devrait forcément faire ce qu'elle prétend :
sudo grub-mkconfig -o "/boot/grub/grub.cfg"


je suis repassé à 5" et appliqué ta ligne de commande. ç a a marché du 1er coup, hasard ou efficacité ... ?
cela dit, tu peux garder ton chapeau winkyes.gif


Geekom iT11  \ LinuxMint 21.1 Cinnamon

Hors ligne

#8 22-12-2018 20:50:13

otyugh
CA Debian-Facile
Lieu : Quimperlé/Arzano
Distrib. : Debian Stable
Inscription : 20-09-2016
Site Web

Re : [résolu] GRUB modification temps de démarrage

N'empêche que c'est bizarre.

cat /usr/sbin/update-grub


#!/bin/sh
set -e
exec grub-mkconfig -o /boot/grub/grub.cfg "$@"
 



Avoue que c'est la même chose, quand même ^^'

Dernière modification par otyugh (22-12-2018 20:50:40)


virtue_signaling.pngpalestine.png

En ligne

Pied de page des forums