diff options
author | Ivan Shapovalov | 2018-05-11 17:26:55 +0300 |
---|---|---|
committer | Ivan Shapovalov | 2018-05-11 17:26:55 +0300 |
commit | 613c2f841f4ec778bba0c3363a3278ec62ff26e8 (patch) | |
tree | 68c0a54474bf82f56a6a1efe169ffebcdc37814d /listweb.patch | |
parent | 979e8264450e640062500e548f44692815fd8d97 (diff) | |
download | aur-613c2f841f4ec778bba0c3363a3278ec62ff26e8.tar.gz |
Bump; download firmware via source=() and not via getweb in prepare()
Diffstat (limited to 'listweb.patch')
-rw-r--r-- | listweb.patch | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/listweb.patch b/listweb.patch new file mode 100644 index 000000000000..c8b62f95df56 --- /dev/null +++ b/listweb.patch @@ -0,0 +1,52 @@ +diff --git a/getweb.in b/getweb.in +index 5215e02..400c832 100755 +--- a/getweb.in ++++ b/getweb.in +@@ -117,6 +117,10 @@ then + } + fi + ++wget() { ++ error "wget must not be called, please report this to maintainer" ++} ++ + # + # Download a .EXE file from the web, unzip it, and extract the + # files we want +@@ -124,11 +128,9 @@ getexe() { + url="$1" + exefile="$2" + shift; shift +- +- wget $WGETOPTS -O $exefile "$url/$exefile" || +- error "Couldn't download $url/$exefile" +- unzip -oj $exefile "$@" +- rm $exefile ++ ++ echo "$url/$exefile" ++ return + } + + # +@@ -138,17 +140,13 @@ gettgz() { + url="$1" + file="$2" + what="$3" +- +- wget $WGETOPTS -O $file "$url/$file" || +- error "Couldn't download $url/$file" +- gunzip <$file | tar xvf - $what +- rm $file ++ ++ echo "$url/$file" ++ return + } + + copyright() { +- echo +- echo "$1" +- echo ++ return + } + + getone() { |