[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: 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


$ grub-probe -h
Usage: grub-probe [OPTION]... [PATH|DEVICE]


reply via email to

[Prev in Thread] Current Thread [Next in Thread]