blob: e7ad006593cab32e80f6d47461413ac38a6d274f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
--- jigdo-0.7.3.orig/scripts/jigdo-lite
+++ jigdo-0.7.3/scripts/jigdo-lite
@@ -46,10 +46,14 @@
#______________________________________________________________________
# 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
}
|