Re: appropriate code for a GRUB-specific option

2000-05-29 Thread Christoph Plattner
We should consider, that a server admin has to define bootp (or dhcp) to allow diskless booting of grub.To define the boot file the 'bf=' option is used. So we should overthink, if we should not use another tag, which is normaly used and reserved, but which is not used in context of GRUB. For

Re: Minor patch for grub-install

2000-05-29 Thread Gordon Matzigkeit
Pavel Roskin writes: PR * util/grub-install.in: fixed a typo that caused some error PR messages not to appear. Copy and remove files individually and PR exit with an error as soon as it fails. Show $log_file if PR --debug was given on the command line. I've applied this. Thanks for your