GNU bug report logs - #32775
[PATCH] gnu: Add gandi.cli.

Previous Next

Package: guix-patches;

Reported by: Tobias Geerinckx-Rice <me <at> tobias.gr>

Date: Wed, 19 Sep 2018 20:55:01 UTC

Severity: normal

Tags: patch

Done: Tobias Geerinckx-Rice <me <at> tobias.gr>

Bug is archived. No further changes may be made.

Full log

Message #11 received at 32775 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Leo Famulari <leo <at> famulari.name>
Cc: Tobias Geerinckx-Rice <me <at> tobias.gr>, 32775 <at> debbugs.gnu.org
Subject: Re: [bug#32775] [PATCH] gnu: Add gandi.cli.
Date: Mon, 24 Sep 2018 14:23:14 +0200

Leo Famulari <leo <at> famulari.name> skribis:

> On Wed, Sep 19, 2018 at 10:53:47PM +0200, Tobias Geerinckx-Rice wrote:
>> * gnu/packages/networking.scm (gandi.cli): New public variable.
>
> Thanks!
>
>> +(define-public gandi.cli
>> +  (package
>> +    (name "gandi.cli")
>
> I prefer 'gandi-cli', but it's your call. The manual section Package
> Naming only specifies how to replace underscores.

I also have a slight preference to a hyphen, FWIW.  :-)

Ludo’.
This bug report was last modified 6 years and 242 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.