[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the int
From: |
Ludovic Courtès |
Subject: |
[bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the internet. |
Date: |
Tue, 16 Jul 2019 23:34:31 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Hi!
Christopher Baines <address@hidden> skribis:
> Great, I've pushed these to master now.
Yay! \o/
> I hope to start looking at actually trying to load in the lint warnings
> soon. This might involve extending the inferior API if that's helpful. I
> also want to attempt to store translations for the lint warnings in one
> way or another, as that'll begin to address the lack of localisation in
> the Guix Data Service.
Regarding inferiors, you could always build up an “inferior lint
warning” API, similar to what’s done for <inferior-package>, and
likewise for l10n.
It needs some thought because we don’t want to mirror every single Guix
API with an inferior equivalent. So perhaps you can run a large part of
the processing in the inferior.
> There's also some thinking about how to manage the network dependent
> checkers. I'd like to get that information in anyway, but also, I think
> it might be possible to maybe separate out the network independant parts
> of the checkers that are currently in the network dependent list. For
> example, the synopsis checker is only in there as it attempts to connect
> to the network to check if packages are a GNU package, and I'm wondering
> if that can be avoided.
Dunno, but I don’t think it’s super important either.
What might be more useful is to indicate how critical a warning is: lack
of source code is critical, but missing-space-after-period less so.
> Anyway, hopefully the code refactoring is generally helpful, and maybe
> the --no-network option for guix lint will come in useful as well.
Definitely.
Thanks!
Ludo’.
- [bug#35790] [PATCH 2/2] lint: Separate checkers by dependence on the internet., (continued)
- [bug#35790] [PATCH 1/2] lint: Move the linting code to a different module., Ludovic Courtès, 2019/07/12
- [bug#35790] [PATCH 1/2] lint: Move the linting code to a different module., Christopher Baines, 2019/07/14
- [bug#35790] [PATCH 1/2] lint: Move the linting code to a different module., Christopher Baines, 2019/07/14
- [bug#35790] [PATCH 1/2] lint: Move the linting code to a different module., Ludovic Courtès, 2019/07/15
- [bug#35790] [PATCH 1/4] scripts: lint: Handle warnings with a record type., Christopher Baines, 2019/07/15
- [bug#35790] [PATCH 2/4] scripts: lint: Separate the message warning text and data., Christopher Baines, 2019/07/15
- [bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the internet., Christopher Baines, 2019/07/15
- [bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the internet., Ludovic Courtès, 2019/07/15
- bug#35790: [PATCH 4/4] lint: Separate checkers by dependence on the internet., Christopher Baines, 2019/07/15
- [bug#35790] [PATCH 4/4] lint: Separate checkers by dependence on the internet.,
Ludovic Courtès <=
- [bug#35790] [PATCH 3/4] lint: Move the linting code to a different module., Christopher Baines, 2019/07/15
- [bug#35790] [PATCH 1/2] lint: Move the linting code to a different module., Christopher Baines, 2019/07/15
[bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Christopher Baines, 2019/07/02