Re: [PATCH 0/2] Add "guix lint".

[Ludovic Courtès]

Andreas Enge <address@hidden> skribis:

> This looks interesting, but similarly to some comment about "guix package
> --show", I am wondering about the profusion of commands.

I think --show may be useful to non-developers.

> Maybe we should use
>    guix devel --lint
> instead? It would make clear that this option is only of interest to
> developers, and pave the way for more developer related functionalities.

The problem is that things like ‘guix hash’, ‘guix refresh’, and ‘guix
lint’ already all have their own set of options.  So bundling them
together in a single sub-command would be inconvenient, at best.

However, I sympathize with the idea of distinguishing between developer
and non-developer functionality.

There are two ways I tried to make this apparent: by explicitly stating
it in the manual, and by hiding some sub-commands from the output of
‘guix --help’.  Perhaps we could do more of the latter?  How well does
that help?

Thanks,
Ludo’.