From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 5 Nov 2014 16:41:05 +0000 (+0100)
Subject: Fix get-bug-attachments script.
X-Git-Tag: cvc5-1.0.0~6509^2~7
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae048633658d99ff970385afe5b529171d89a95f;p=cvc5.git

Fix get-bug-attachments script.
---

diff --git a/contrib/get-bug-attachments b/contrib/get-bug-attachments
index 869eee895..80205baff 100755
--- a/contrib/get-bug-attachments
+++ b/contrib/get-bug-attachments
@@ -29,7 +29,7 @@ function webcat {
 function webget {
   if which wget &>/dev/null; then
     tmpfile="$(mktemp get_bug_attach.$$.XXXXXXXX)"
-    filename="$(wget -qS -O "$tmpfile" "$1" 2>&1 | grep 'Content-disposition: attachment' | sed 's,.*filename="\(.*\)".*,\1,')"
+    filename="$(wget -qS -O "$tmpfile" "$1" 2>&1 | grep -i 'Content-disposition: attachment' | sed 's,.*filename="\(.*\)".*,\1,')"
     ext="$(echo "$filename" | sed 's,.*\.\(.*\),\1,')"
     if [ -e "$2.$ext" ] && ! diff -q "$tmpfile" "$2.$ext" &>/dev/null; then
       c=a
@@ -46,7 +46,7 @@ function webget {
     fi
   elif which curl &>/dev/null; then
     tmpfile="$(mktemp get_bug_attach.$$.XXXXXXXX)"
-    filename="$(curl --head "$1" 2>&1 | grep 'Content-disposition: attachment' | sed 's,.*filename="\(.*\)".*,\1,')"
+    filename="$(curl --head "$1" 2>&1 | grep -i 'Content-disposition: attachment' | sed 's,.*filename="\(.*\)".*,\1,')"
     curl "$1" >"$tmpfile" 2>/dev/null
     ext="$(echo "$filename" | sed 's,.*\.\(.*\),\1,')"
     if [ -e "$2.$ext" ] && ! diff -q "$tmpfile" "$2.$ext" &>/dev/null; then