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