3 # Import SVG from Oddmuse wiki
8 WIKI_DIR
=`dirname "$ODD_STUB"`
9 PAGENAME
=`basename "$ODD_STUB"`
10 PAGENAME
="${PAGENAME%.odd}Source"
11 echo "WIKI_DIR: $WIKI_DIR" > "/tmp/oddmuse2svg.report"
12 echo "PAGENAME: $PAGENAME" >> "/tmp/oddmuse2svg.report"
15 NOTES
="$WIKI_DIR/notes.txt"
16 URLBASE
=`cat "$NOTES" | grep -e "^urlbase" | cut -d" " -f2`
17 FULLURL
="${URLBASE}download/${PAGENAME}"
18 echo "NOTES: $NOTES" >> "/tmp/oddmuse2svg.report"
19 echo "URLBASE: $URLBASE" >> "/tmp/oddmuse2svg.report"
20 echo "FULLURL: $FULLURL" >> "/tmp/oddmuse2svg.report"
24 if test -x "$WGET"; then
25 echo "USERAGENT: wget" >> "/tmp/oddmuse2svg.report"
26 $WGET "$FULLURL" -o "$WIKI_DIR"/download.log
-nv -O-
27 elif test -x "$CURL"; then
28 echo "USERAGENT: curl" >> "/tmp/oddmuse2svg.report"
29 $CURL --silent --show-error "$FULLURL"
31 echo "USERAGENT: none" >> "/tmp/oddmuse2svg.report"
32 echo Neither wget nor curl were found
in $PATH 1>&2