17 Feb
2014
17 Feb
'14
9:56 p.m.
All, I created a page on my web site at www.iavit.org to explain how to use a script I wrote called grub-init-tune. The script should make it easy for you to configure grub to play a tune at boot time. There are several tunes already defined in the script. It should also make it easier for you to create your own tunes by allowing you to hear them without rebooting. http://www.iavit.org/~john/debian/grub.html --- John G. Heim, 608-263-4189, jheim@math.wisc.edu -- --- John G. Heim, 608-263-4189, jheim@math.wisc.edu