John G Heim <jheim at math.wisc.edu> wrote: > PS: One trick I have for dealing with grub is to make it play a tune at > boot time. Too bad my computer doesn't have a PC speaker. Actually i've heard they are becoming more and more rare.