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

Previous Next

To reply to this bug, email your comments to 78133 AT debbugs.gnu.org.
There is no need to reopen the bug first.

Toggle the display of automated, internal messages from the tracker.

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

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

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: "nomike (they/them)" <nomike <at> nomike.com>
Cc: 78133 <at> debbugs.gnu.org
Subject: Re: bug#78133: `./pre-inst-env guix lint` does not work at all
Date: Wed, 30 Apr 2025 08:24:13 +0900

Hi,

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

> 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 don't reproduce:

--8<---------------cut here---------------start------------->8---
~/src/guix$ ./pre-inst-env guix lint catch2 <at> 3.8.1
guix lint: error: catch2: package not found for version 3.8.1
--8<---------------cut here---------------end--------------->8---

I'm not in a Guix shell environment, though I have a few Guile packages
installed in my user profile:

--8<---------------cut here---------------start------------->8---
$ guix package -I ^guile
guile-ssh     	0.18.0         	out	/gnu/store/mz4ib7rlcwxqahrbcg7njbi6r9ivjchb-guile-ssh-0.18.0
guile-sqlite3 	0.1.3          	out	/gnu/store/fjn1zy1hp882ss7k76w2jv7ma3r3d99v-guile-sqlite3-0.1.3
guile-readline	3.0.9          	out	/gnu/store/krbmim8zwwihgdn6jfyxzhnk320qfajz-guile-readline-3.0.9
guile-lib     	0.2.8          	out	/gnu/store/p7qx1yhxlz61r1hpcgdvdhqq343cryyp-guile-lib-0.2.8
guile-json    	4.7.3          	out	/gnu/store/711y2zrpg0ygxaghy72v8hzwla7mjaqg-guile-json-4.7.3
guile-hall    	0.4.1-1.7558ba9	out	/gnu/store/q2clfp1c8hghxnpddfsbgcq4qa2z02s4-guile-hall-0.4.1-1.7558ba9
guile-charting	0.2.0-1.75f755b	out	/gnu/store/bw0zq2f49q7yjspckd6gdwm7fsqvv9aw-guile-charting-0.2.0-1.75f755b
guile-ac-d-bus	1.0.0-beta.0   	out	/gnu/store/ssf3zj7cbaypqgwm48k3z3hlpifjz3ir-guile-ac-d-bus-1.0.0-beta.0
guile         	3.0.9          	out	/gnu/store/2dqynvxbfhw39bq8phw3kbpxcpd5yg0a-guile-3.0.9
--8<---------------cut here---------------end--------------->8---

-- 
Thanks,
Maxim

Message #15 received at 78133-done <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: 78133-done <at> debbugs.gnu.org
Subject: Close
Date: Fri, 1 Aug 2025 19:47:46 +0200

Closing as not reproducible.

Andreas

Previous Next

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