GNU bug report logs - #78133
`./pre-inst-env guix lint` does not work at all

Previous Next

Package: guix;

Reported by: "nomike (they/them)" <nomike <at> nomike.com>

Date: Tue, 29 Apr 2025 14:04:06 UTC

Severity: normal

Full log


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

From: "nomike (they/them)" <nomike <at> nomike.com>
To: bug-guix <at> gnu.org
Subject: `./pre-inst-env guix lint` does not work at all
Date: Tue, 29 Apr 2025 15:57:41 +0200
Hi!

I get an error when running =guix lint=:

#+BEGIN_EXAMPLE text
$ ./pre-inst-env guix lint catch2 <at> 3.8.1
guix: lint: command not found
hint: Did you mean `lint'?

Try `guix --help' for more information.
#+END_EXAMPLE

I'm not in a guix shell though.

The guix handbook talks a lot about running =guix style=, =guix lint=, 
etc.  in chapter 22.10 Submitting Patches[0] but nowhere mentions the 
use of `./pre-inst-env` or `guix shell`, so there is some room for 
improvement here, I guess.

Chaper 22.2 Building from Git[1] mentions to run =guix shell -D guix 
-CPW=, but if I try to run =guix lint= in there, I'm getting errors 
about network access. If I add the =--network= parameter, it still 
complains about SSL certificates not being verifiable, so I needed to 
run this in the end, which finally worked:

#+BEGIN_EXAMPLE text
$ guix shell --container --link-profile --nesting --network 
--development guix nss-certs
#+END_EXAMPLE

IMHO this should be documented somewhere.

It took me, reading a lot of documentation, asking a friend who is a 
seasoned guix developer and asking on IRC a number of times to piece all 
the necessary bits together.

And the error message about =lint= not existing and asking whether I 
have misspelled it and rather meant =lint=  doesn't make sense and IMHO 
should never happen.

Cheers

nomike

[0] https://guix.gnu.org/manual/devel/en/html_node/Submitting-Patches.html
[1] https://guix.gnu.org/manual/devel/en/html_node/Building-from-Git.html





This bug report was last modified 46 days ago.

Previous Next


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