On 06/07/2010 11:16 PM, Vladimir 'φ-coder/phcoder' Serbinenko wrote:
Regarding file-name-transformations_1.diff:
[email protected]:~$ /usr/local/bin/grub-mkfont --help
Usage: /usr/local/bin/grub-mkfont [OPTIONS] FONT_FILES
So I would prefer not to use basename for uniformity. Otherwise patch 1
is ok.
For the record:
As discussed on irc, we will keep the basename since otherwise we would
get, for scripts:
$ grub-reboot -h
Usage: /usr/local/sbin/grub-reboot [OPTION] entry
whereas:
$ grub-probe -h
Usage: grub-probe [OPTION]... [PATH|DEVICE]
Grégoire
_______________________________________________
Grub-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/grub-devel
