equal
deleted
inserted
replaced
30 type -p ggrep > /dev/zero && GREP=ggrep || GREP=grep |
30 type -p ggrep > /dev/zero && GREP=ggrep || GREP=grep |
31 |
31 |
32 mkdir -p /tmp/isa_linktest |
32 mkdir -p /tmp/isa_linktest |
33 dir=$(pwd) |
33 dir=$(pwd) |
34 cd /tmp/isa_linktest |
34 cd /tmp/isa_linktest |
35 exec wget --non-verbose --cookies=off --recursive --convert-links --page-requisites \ |
35 exec wget --non-verbose --cookies=off --recursive --reject='GraphBrowser.class' --convert-links --page-requisites \ |
36 --delete-after \ |
36 --delete-after \ |
37 "$url" \ |
37 "$url" \ |
38 2>&1 | "$GREP" -i -B1 "ERROR" |
38 2>&1 | tee /tmp/isa_linktest.report | "$GREP" -i -B1 "ERROR" |
39 cd "$dir" |
39 cd "$dir" |
40 rm -rf /tmp/isa_linktest |
40 rm -rf /tmp/isa_linktest |