ubuntuusers.de

Moin!

Nach längerer Zeit teste ich gerade mal wieder Ubuntu und bin echt zufrieden. Was ich gerade nicht hinbekomme ist, die Grubzeit zu verkürzen.

Früher ging das über die /etc/default/grub

Diese sieht nach der Standardinstallation von 24.10 bei mir so aus:

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
GRUB_DISTRIBUTOR=`( . /etc/os-release; echo ${NAME:-Ubuntu} ) 2>/dev/null || echo Ubuntu`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

Egal welche Zeit ich beim Timeout angebe, es bleibt bei 10 Sekunden.

Wird der Wert heute woanders eingestellt?

Patsche schrieb:

[…] Früher ging das über die /etc/default/grub

Das geht auch immer noch so. Allerdings verändern manche der Skripte im Ordner /etc/grub.d/ den anfangs gesetzten Wert:

grep  timeout= -r /etc/grub.d/ 

Wird der Wert heute woanders eingestellt?

Über die Skripte, aber auch das ist nicht neu.

Am sichersten setzt man den gewünschten Wert selbst am Ende des Skriptlaufs über ein eigenes Skript:

#! /bin/dash
# /etc/grub.d/99_timeout
echo "set timeout=42"

Patsche schrieb:

Egal welche Zeit ich beim Timeout angebe, es bleibt bei 10 Sekunden.

Hast Du ein

sudo update-grub

hinterhergeschickt? Sonst bringt das nix!

Als ich noch vermehrt Linux eingesetzt hatte, kam systemd gerade erst und dort konnte man noch einfach über die /etc/default/grub den Wert ändern, der auch angewendet wurde. Hier mal die Ausgabe:

grep  timeout= -r /etc/grub.d/ 

/etc/grub.d/30_os-prober:  set timeout=10
/etc/grub.d/00_header:  set timeout=${GRUB_RECORDFAIL_TIMEOUT:-30}
/etc/grub.d/00_header:	timeout="${2}"
/etc/grub.d/00_header:	timeout="${1}"
/etc/grub.d/00_header:	timeout="${2}"
/etc/grub.d/00_header:    set timeout=${timeout}
/etc/grub.d/00_header:    set timeout=${timeout}
/etc/grub.d/00_header:    set timeout=0
/etc/grub.d/00_header:  set timeout=${GRUB_RECORDFAIL_TIMEOUT:-30}

Ich gucke mir das mal später an, wie ich das Skript anlege.

Danke für die Hilfe.

Hallo Patsche,

Und so:

GRUB_TIMEOUT_STYLE=menue #bzw. menu
GRUB_TIMEOUT=10

&

sudo update-grub

geht es nicht ?

Gruss Lidux

Ubutux79 schrieb:

Hast Du ein

sudo update-grub

hinterhergeschickt? Sonst bringt das nix!

👍 Das hatte ich vergessen. Jetzt funktioniert es. Vielen Dank 😇

cat /etc/default/grub

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=2
GRUB_DISTRIBUTOR=`( . /etc/os-release; echo ${NAME:-Ubuntu} ) 2>/dev/null || ec>
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""