GNU bug report logs - #33454
[PATCH] describe: Add profile option.

Previous Next

Package: guix-patches;

Reported by: Oleg Pykhalov <go.wigust <at> gmail.com>

Date: Wed, 21 Nov 2018 09:01:01 UTC

Severity: normal

Tags: patch

Done: Oleg Pykhalov <go.wigust <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Oleg Pykhalov <go.wigust <at> gmail.com>
Cc: 33454 <at> debbugs.gnu.org
Subject: [bug#33454] [PATCH] describe: Add profile option.
Date: Wed, 21 Nov 2018 10:40:56 +0100

Hi Oleg,

Oleg Pykhalov <go.wigust <at> gmail.com> skribis:

> * guix/scripts/describe.scm (%options): Add profile option.
> (show-help): Document this.
> (display-checkout-info): Check for profile argument.
> * doc/guix.texi (Invoking guix describe): Document this.

Good idea!

> +@itemx -p @var{profile}
> +Display information in the given @var{profile}.

s/in the given/about/

> +  (display (G_ "
> +  -p, --profile=PROFILE  display information in the given PROFILE"))

Same here.

OK with these changes, thanks!

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

Previous Next

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