GNU logs - #78133, boring messages

Message sent to bug-guix@HIDDEN:

Subject: bug#78133: `./pre-inst-env guix lint` does not work at all
Resent-From: "nomike (they/them)" <nomike@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Tue, 29 Apr 2025 14:04:06 +0000
Resent-Message-ID: <handler.78133.B.174593539012851 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 78133 <at> debbugs.gnu.org
Message-ID: <f773dc2f-58f5-4883-9420-caf885793c2a@HIDDEN>
Date: Tue, 29 Apr 2025 15:57:41 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: "nomike (they/them)" <nomike@HIDDEN>
Autocrypt: addr=nomike@HIDDEN; keydata=
 xjMEZ+8bGhYJKwYBBAHaRw8BAQdAnX/6ThbmnmGYDNklZjA0bz600QNUdP+ajuwTe4TVe4PN
 L25vbWlrZSBQb3N0bWFubiAodGhleS90aGVtKSA8bm9taWtlQG5vbWlrZS5jb20+wpkEExYK
 AEECGwMFCQWjmoACHgcCF4AWIQRDQfMGyihCx53NO0tbWPztpJIHVwUCZ+8vPgULCQgHAgIi
 AgYVCgkICwIEFgIDAQAKCRBbWPztpJIHV6A3APoCTSYs7uR0ZoxGMoEFdDUdgbdmPFNZSNoA
 3J5js9FQwgD/UUGwD9PCILmGZTeyG1BmUUFIDshW/NlKtgzc38AeRQ3OOARn7xsaEgorBgEE
 AZdVAQUBAQdAQYFr4LDmq9tDyrJ1hmbnQ18nN/TEzmM+X0Dc84f+51UDAQgHwn4EGBYKACYW
 IQRDQfMGyihCx53NO0tbWPztpJIHVwUCZ+8bGgIbDAUJBaOagAAKCRBbWPztpJIHV549AQCo
 MLaLPJ8OhIRvEJkvS2nVEn+D/DKG7bxxbyvB5gwaqgEA3aVP643HUqWDp2u9q+57SCycExVI
 mOW3VG9jxDNJlAc=
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=23.83.223.164; envelope-from=nomike@HIDDEN;
 helo=shrimp.cherry.relay.mailchannels.net
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001,
 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)

Hi!

I get an error when running =guix lint=:

#+BEGIN_EXAMPLE text
$ ./pre-inst-env guix lint catch2@HIDDEN
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 sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: "nomike (they/them)" <nomike@HIDDEN>
Subject: bug#78133: Acknowledgement (`./pre-inst-env guix lint` does not
 work at all)
Message-ID: <handler.78133.B.174593539012851.ack <at> debbugs.gnu.org>
References: <f773dc2f-58f5-4883-9420-caf885793c2a@HIDDEN>
X-Gnu-PR-Message: ack 78133
X-Gnu-PR-Package: guix
Reply-To: 78133 <at> debbugs.gnu.org
Date: Tue, 29 Apr 2025 14:04:10 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guix@HIDDEN

If you wish to submit further information on this problem, please
send it to 78133 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
78133: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D78133
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guix@HIDDEN:

Subject: bug#78133: `./pre-inst-env guix lint` does not work at all
Resent-From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Tue, 29 Apr 2025 23:25:01 +0000
Resent-Message-ID: <handler.78133.B78133.174596906617694 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: "nomike (they/them)" <nomike@HIDDEN>
Cc: 78133 <at> debbugs.gnu.org
From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
In-Reply-To: <f773dc2f-58f5-4883-9420-caf885793c2a@HIDDEN>
 (nomike@HIDDEN's message of "Tue, 29 Apr 2025 15:57:41 +0200")
References: <f773dc2f-58f5-4883-9420-caf885793c2a@HIDDEN>
Date: Wed, 30 Apr 2025 08:24:13 +0900
Message-ID: <87frhqa6w2.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi,

"nomike (they/them)" <nomike@HIDDEN> writes:

> Hi!
>
> I get an error when running =guix lint=:
>
> #+BEGIN_EXAMPLE text
> $ ./pre-inst-env guix lint catch2@HIDDEN
> 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@HIDDEN
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 received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 16 Jun 2025 13:00:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 16 09:00:15 2025
Received: from localhost ([127.0.0.1]:44296 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1uR9Rd-0007N2-O8
	for submit <at> debbugs.gnu.org; Mon, 16 Jun 2025 09:00:14 -0400
Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:48341)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <zimon.toutoune@HIDDEN>)
 id 1uR9RY-0007Kq-QR
 for control <at> debbugs.gnu.org; Mon, 16 Jun 2025 09:00:11 -0400
Received: by mail-wr1-x430.google.com with SMTP id
 ffacd0b85a97d-3a50fc7ac4dso2605609f8f.0
 for <control <at> debbugs.gnu.org>; Mon, 16 Jun 2025 06:00:08 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1750078802; x=1750683602; darn=debbugs.gnu.org;
 h=subject:from:to:message-id:date:from:to:cc:subject:date:message-id
 :reply-to; bh=q0UA8BLCqlFCJm3drIz5lAze1ysD6Rd5BXqrNkWuTdw=;
 b=XlN0ukuQJIifo82wUNrD21XUb9J+jziIv0XnfQRtaj/DLhzO1RL8L5TWgtPgmuI3jE
 7VOpnpAtqlcZ07Ai4C73PpM3SPjfyQ1ToWLNa++12f0BFfz3RhF9vZBjgUXVOeibJQ5g
 HyItjBLHvqjZ4tZSIlU10Kt4p8/ymmBLYO8eP6oK/poPPgGdp0WUMbgydBpKnSbXOPYR
 S10aVUCGkBeIyu7wvOBdjhTvHa+Humat6rzp62+nXut1FCFUE0kB8mR83SeHYzfx1KDe
 Tuj6cqmPnP9UsE/5BYwTHmu4Pz+wiSnSWWRSYqe/5Bgq6edM+k5ayErMBWLfhEjbavid
 VDnA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1750078802; x=1750683602;
 h=subject:from:to:message-id:date:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=q0UA8BLCqlFCJm3drIz5lAze1ysD6Rd5BXqrNkWuTdw=;
 b=A+cS6LvSPqZRNZgsGB7Ycid8Hxyrj0rUxWbEuXjalnItwTcxkP20usNSH3Kz4Sm4xq
 i1oerpL8bGlHZ9Cmp1kcnaGIhCqsa7JqTPrpUNIq/MWOwcq//bGnS8jMinCmUBh7A7KK
 VoVP69iv+GxBDTNNxN2n+jxp1gAVKg4gxaFMCbLx4ErHLPZqo3tLq9D1GY6KiVZ2x2qH
 rz8+b855FejfcJXM/bymIzzH4i2cGIYBiQrcf/6BXXShxvw6gV7e09sKZ+zbBz8Oraea
 xwPjyPv3uCdN2Wo6YiV+g2+c1lzE3KcKW8fbK/K0ikXVjVTVbD0OpqgJyaFm7EM5znng
 vUSQ==
X-Gm-Message-State: AOJu0Yx0U2pzzSha3q6zYviPtTODESFnPCkoksObNQgrDzEmqkqQEkMr
 K23afsgZ91/rBapmlysg019fH72wWV29DtYHak9pECpUYYQydpPuuTiXpLciLlps
X-Gm-Gg: ASbGnctG4EExnugVNi70AN1e2KCgweywV2Qg97Qa113fKEn1DmUsBmsJNl/6eM0Ku0a
 V/kRSz/65/n1C2xdnWhwNu9rJ9EK4SpLRhnbD1jB1pPsw1PgWwIspCKOobk0v8gpq6ul3v2ASr6
 dtubHIHLw5MqK8qAQgcrMOR25coWheUVo6Ax7Kx0p8Pab3s4oXTJyr98hP8oZ4JPLByXYBbz8R8
 3DnV7h93DLNIgaUkWg1LdUYcfoUTD4Pe7jbgootKaezaNJSKTbOk0Jrob5aRdnN7Gai/O6r2TVR
 zyCZ0s7dKusJdrPXty26llzMkvB9bOe/b0tKDvLsUyC5AbpprPg20VTm5j7PIAuu1LwsZDyfcFs
 WTRLTujKYmOeJK5C57mZzDeL6l/3SLRZlSA==
X-Google-Smtp-Source: AGHT+IGA9pIUE4TcvfA3AZp9a+pkSNYVerIPFbzT8Ml9OP7NjgDxgQ4YACQ0RBjGi/brOS0D7ILwJQ==
X-Received: by 2002:a05:6000:178a:b0:3a5:2cb5:63fa with SMTP id
 ffacd0b85a97d-3a57236654amr8666410f8f.2.1750078802203; 
 Mon, 16 Jun 2025 06:00:02 -0700 (PDT)
Received: from lili (nat-dsi-209.net.univ-paris-diderot.fr. [81.194.30.209])
 by smtp.gmail.com with ESMTPSA id
 ffacd0b85a97d-3a568a7e51esm10913272f8f.40.2025.06.16.06.00.01
 for <control <at> debbugs.gnu.org>
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 16 Jun 2025 06:00:01 -0700 (PDT)
Date: Mon, 16 Jun 2025 14:22:41 +0200
Message-Id: <87zfe76fla.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Simon Tournier <zimon.toutoune@HIDDEN>
Subject: control message for bug #78133
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 78133 + moreinfo
quit

Last modified: Mon, 16 Jun 2025 13:15:04 UTC

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