GNU bug report logs - #50874
[PATCH] lint: Check if HTTPS version of HTTP URL exists.

Previous Next

Package: guix-patches;

Reported by: Xinglu Chen <public <at> yoctocell.xyz>

Date: Tue, 28 Sep 2021 19:10:02 UTC

Severity: normal

Tags: moreinfo, patch

Full log


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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Xinglu Chen <public <at> yoctocell.xyz>
Cc: 50874 <at> debbugs.gnu.org
Subject: Re: bug#50874: [PATCH] lint: Check if HTTPS version of HTTP URL
 exists.
Date: Sat, 02 Oct 2021 17:15:18 +0200
Hi,

Xinglu Chen <public <at> yoctocell.xyz> skribis:

> * guix/lint.scm (check-if-https-uri-exists?): New procedure.
> (check-home-page, check-source): Use it.

Applied, thanks!

> I don’t really know how to test this while making it future-proof, any
> suggestions?

I don’t know either, since we don’t have an easy way to spin up an HTTPS
server.  I think it’s okay to leave it as is, for lack of a better idea.

However, this version of the patch leads to test failures in
tests/lint.scm (“Connection refused”).

Ludo’.




This bug report was last modified 3 years and 203 days ago.

Previous Next


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