[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Filename default for grub-editenv
|
From: |
Robert Millan |
|
Subject: |
Re: [PATCH] Filename default for grub-editenv |
|
Date: |
Thu, 3 Sep 2009 16:16:27 +0200 |
|
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Tue, Sep 01, 2009 at 05:19:51PM +0100, Colin Watson wrote:
> (Per a discussion with Robert on IRC, this can be post-1.97 if you
> like.)
>
> Would it make sense for grub-editenv to have a default for the filename?
> I dislike hardcoding something in package maintainer scripts that needs
> to match a #define. The interface would be a little awkward since it's
> grub-editenv FILENAME COMMAND, but we could just say that if you provide
> only one argument then we use the default filename.
OK after 1.97 is out. Btw, please include a ChangeLog entry next time.
--
Robert Millan
The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
how) you may access your data; but nobody's threatening your freedom: we
still allow you to remove your data and not access it at all."