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

rb · 21-12-2018 09:01:26

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)

raleur · 21-12-2018 09:56:57

rb a écrit :

ça ne marche pas

C'est-à-dire ?

Croutons · 21-12-2018 10:06:37

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

ls -l /boot/grub/grub.cfg

rb · 21-12-2018 11:16:28

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

otyugh · 21-12-2018 13:52:51

-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)

rb · 22-12-2018 09:02:36

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)

rb · 22-12-2018 19:18:25

à 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

otyugh · 22-12-2018 20:50:13

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)

Debian-facile

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Pied de page des forums