Benutzer-Werkzeuge

Webseiten-Werkzeuge


howto:tippsundtricks

Inhaltsverzeichnis

Tipps & Tricks

Auch bekannt als Trick 17: Kleine Weisheiten die einem das Leben (hoffentlich) leichter machen.
Betreffend alles von Hardware bis Software, Abbeizen bis Zerspanen, Kochen bis Sticken, kurzum: Alles was man im shack so treiben kann.

Software

Linux

Grub

Letzten gewählten Eintrag merken und als Default setzen

In /etc/default/grub eintragen/abändern:

GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true

Dann einmal update-grub und ab dafür.

Töne/Melodie spielen im Bootmenü

Von https://askubuntu.com/questions/76309/play-a-sound-before-or-after-grub-loads:
In /etc/default/grub eintragen/abändern:

GRUB_INIT_TUNE="<Tempo> [Frequenz1 Dauer1] [Frequenz2 Dauer2] ..."

Hier als Beispiel die Melodie aus Super Mario Bros:

GRUB_INIT_TUNE="480 334 1 334 1 0 1 334 1 0 1 261 1 334 1 0 1 392 2 0 4 196 2"

Zum Testen empfiehlt sich vorher https://breadmaker.github.io/grub-tune-tester/
Natürlich das obligatorische update-grub nicht vergessen!

howto/tippsundtricks.txt · Zuletzt geändert: 2021-06-24 05:15 von neos