From f06129f88d614fbc8f636ae90f29196313ac5abf Mon Sep 17 00:00:00 2001 From: Steve McIntyre Date: Thu, 24 Oct 2019 11:56:50 +0100 Subject: [PATCH] Add support for https into jigdo-lite --- scripts/jigdo-lite | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/scripts/jigdo-lite b/scripts/jigdo-lite index a76ac38..7c559b8 100755 --- a/scripts/jigdo-lite +++ b/scripts/jigdo-lite @@ -46,10 +46,14 @@ fi #______________________________________________________________________ # isURI -# 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 } -- 2.20.1