Add support for https into jigdo-lite

diff --git a/scripts/jigdo-lite b/scripts/jigdo-lite
index a76ac38..7c559b8 100755 (executable)
--- a/scripts/jigdo-lite
+++ b/scripts/jigdo-lite
@@ -46,10 +46,14 @@ fi
 #______________________________________________________________________
 
 # isURI <string>
-# Returns 0 (true) if the supplied string is a HTTP/FTP URL, otherwise 1
+# Returns 0 (true) if the supplied string is a HTTP/HTTPS/FTP/FILE
+# URL, otherwise 1
 isURI() {
   case "$1" in
-    http:*|ftp:*|HTTP:*|FTP:*|file:*|FILE:*) return 0;;
+    [hH][tT][tT][pP]:*) return 0;;
+    [hH][tT][tT][pP][sS]:*) return 0;;
+    [fF][tT][pP]:*) return 0;;
+    [fF][iI][lL][eE]:*) return 0;;
     *) return 1;
   esac
 }