pkg - Improving error message on bad github urls

(cherry picked from commit 7cddc64e5a)
2013-01-09 07:34:56 -07:00 · 2013-01-09 07:34:56 -07:00 · 6b2f905a2b
commit 6b2f905a2b
parent b24c73ebb7
1 changed files with 4 additions and 0 deletions
--- a/collects/planet2/lib.rkt
+++ b/collects/planet2/lib.rkt
@ -415,6 +415,10 @@
        (update-install-info-orig-pkg
         (match type
           ['github
+            (unless checksum
+              (pkg-error (~a "could not find checksum for github package source, which implies it doesn't exist\n"
+                             "  source: ~a")
+                         pkg))
            (match-define (list* user repo branch path)
                          (map path/param-path (url-path/no-slash pkg-url)))
            (define new-url