[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] File name transformations (split into 7 diffs)
From: |
Grégoire Sutre |
Subject: |
Re: [PATCH] File name transformations (split into 7 diffs) |
Date: |
Tue, 08 Jun 2010 00:56:18 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100515 Icedove/3.0.4 |
On 06/07/2010 11:16 PM, Vladimir 'φ-coder/phcoder' Serbinenko wrote:
Regarding file-name-transformations_1.diff:
address@hidden:~$ /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