GNU bug report logs - #59217
[PATCH] guix: lint: Improve message in linter warning.

Previous Next

Package: guix-patches;

Reported by: jgart <jgart <at> dismail.de>

Date: Sat, 12 Nov 2022 15:10:02 UTC

Severity: normal

Tags: patch

Full log

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

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: zimoun <zimon.toutoune <at> gmail.com>, jgart <jgart <at> dismail.de>,
 59217 <at> debbugs.gnu.org
Subject: Re: [bug#59217] Acknowledgement ([PATCH] guix: lint: Improve
 message in linter warning.)
Date: Wed, 23 Nov 2022 12:52:51 +0000

> Well, maybe a paragraph in the manual under ’(guix) Synopses and
> Descriptions’ is a better location for such explanations than the linter
> message itself.  WDYT?

That sounds good. Detailed explanations do belong in the manual. But,
the linter CLI output should link to the relevant section of the web
manual. That would be better than sending people hunting in the
manual. Many good linters for other programming languages do do this.

Cheers!
This bug report was last modified 2 years and 62 days ago.

Previous Next

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