version 1.2, 2003/11/16 17:17:02 |
version 1.4, 2004/06/30 10:14:10 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/util/oxfetch.sh,v 1.1 2003/11/14 02:58:20 ohara Exp $ |
# $OpenXM: OpenXM/src/util/oxfetch.sh,v 1.3 2003/11/16 17:20:54 ohara Exp $ |
|
|
fetch="wget --no-directories --passive-ftp --quiet --timestamping" |
MASTER_SITES="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/" |
|
fetch="wget --no-directories --passive-ftp --timestamping" |
url=$1 |
url=$1 |
distdir=${2:-.} |
distdir=${2:-.} |
distinfo=$3 |
distinfo=$3 |
|
|
} |
} |
|
|
_check () { |
_check () { |
|
if [ ! -f "$distdir/$distfile" ]; then |
|
echo "Not found." |
|
exit 1 |
|
fi |
if [ -f "$distinfo" ]; then |
if [ -f "$distinfo" ]; then |
key1=`(cd $distdir; md5 "$distfile" ) | _md5 $distfile` |
key1=`(cd $distdir; md5 "$distfile" ) | _md5 $distfile` |
key2=`cat $distinfo | _md5 "$distfile"` |
key2=`cat $distinfo | _md5 "$distfile"` |
|
|
echo "Checksum OK for $distfile". |
echo "Checksum OK for $distfile". |
else |
else |
echo "Checksum mismatch for $distfile". |
echo "Checksum mismatch for $distfile". |
|
exit 1 |
fi |
fi |
fi |
fi |
} |
} |
|
|
_mkdir $distdir |
_mkdir $distdir |
_fetch |
_fetch |
_check |
_check |
|
exit 0 |