[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33801] import: github: Support source URIs that redirect to GitHub
From: |
Arun Isaac |
Subject: |
[bug#33801] import: github: Support source URIs that redirect to GitHub |
Date: |
Mon, 07 Jan 2019 23:18:11 +0530 |
> I just realized that the warning also triggers when the URL is already a
> github.com URL:
> --8<---------------cut here---------------start------------->8---
> $ ./pre-inst-env guix lint -c github-uri stellarium
> gnu/packages/astronomy.scm:135:12: address@hidden: URL should be
> 'https://github.com/Stellarium/stellarium/releases/download/v0.18.1/stellarium-0.18.1.tar.gz'
> --8<---------------cut here---------------end--------------->8---
This is a simple mistake on my part and it's not because stellarium's
origin URI redirects to the github-production-release-asset URI. Please
find attached a patch addressing this.
From a8bc92f507e35b54afdd24a42f0aa45ff7cb2c0b Mon Sep 17 00:00:00 2001
From: Arun Isaac <address@hidden>
Date: Mon, 7 Jan 2019 23:11:58 +0530
Subject: [PATCH] guix: lint: Warn only if GitHub URI is not same as the
package URI.
* guix/scripts/lint.scm (check-github-url): Warn only if the GitHub URI
obtained after following redirects is not same as the original URI.
---
guix/scripts/lint.scm | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm
index 9acec4857..0f315a935 100644
--- a/guix/scripts/lint.scm
+++ b/guix/scripts/lint.scm
@@ -8,7 +8,7 @@
;;; Copyright © 2017 Alex Kost <address@hidden>
;;; Copyright © 2017 Tobias Geerinckx-Rice <address@hidden>
;;; Copyright © 2017, 2018 Efraim Flashner <address@hidden>
-;;; Copyright © 2018 Arun Isaac <address@hidden>
+;;; Copyright © 2018, 2019 Arun Isaac <address@hidden>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -820,10 +820,11 @@ descriptions maintained upstream."
(lambda (uri)
(and=> (follow-redirects-to-github uri)
(lambda (github-uri)
- (emit-warning
- package
- (format #f (G_ "URL should be '~a'") github-uri)
- 'source))))
+ (unless (string=? github-uri uri)
+ (emit-warning
+ package
+ (format #f (G_ "URL should be '~a'") github-uri)
+ 'source)))))
(origin-uris origin)))))
(define (check-derivation package)
--
2.19.2
signature.asc
Description: PGP signature
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/05
- [bug#33801] import: github: Support source URIs that redirect to GitHub,
Arun Isaac <=
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/08
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/08
- bug#33801: import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/09
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/10
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/10
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/10