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.

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

Previous Next

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