diff options
author | Jan Holesovsky <kendy@suse.cz> | 2010-08-20 16:43:34 +0200 |
---|---|---|
committer | Jan Holesovsky <kendy@suse.cz> | 2010-08-20 16:43:34 +0200 |
commit | 5260ed6bed2cb4d88007b87e7cae8f14ff37d0be (patch) | |
tree | b0c031cb6ffb85c7ff9b4711d0399769ee294a29 /fetch_tarballs.sh | |
parent | 79d3f8c12517a5e14bf2e8fcb00859b0680dfc35 (diff) |
Make ./configure & friends more user friendly.
Diffstat (limited to 'fetch_tarballs.sh')
-rwxr-xr-x | fetch_tarballs.sh | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/fetch_tarballs.sh b/fetch_tarballs.sh index e08b553f8171..6a77841683d1 100755 --- a/fetch_tarballs.sh +++ b/fetch_tarballs.sh @@ -27,23 +27,22 @@ #************************************************************************* if [ -z "$TARFILE_LOCATION" ]; then - echo "ERROR: no destination defined! please set TARFILE_LOCATION!" - exit + echo "Error: No destination defined, you probably forgot to source the environment?" + exit 1 fi if [ ! -d "$TARFILE_LOCATION" ]; then mkdir $TARFILE_LOCATION fi if [ ! -d "$TARFILE_LOCATION" ]; then - echo "ERROR: can't create" - exit + echo "Error: Cannot create $TARFILE_LOCATION." + exit 1 fi -if [ -z "$1" ]; then - echo "ERROR: parameter missing!" - echo "usage: $0 <fetch list>" - echo "first line must define the base url." - exit +FILELIST="$1" +if [ -z "$FILELIST" ]; then + echo "No filelist provided, using the default ooo.lst." + FILELIST="ooo.lst" fi # check for wget and md5sum @@ -106,7 +105,7 @@ start_dir=`pwd` logfile=$TARFILE_LOCATION/fetch.log date >> $logfile -filelist=`cat $1` +filelist=`cat $FILELIST` mkdir -p $TARFILE_LOCATION/tmp cd $TARFILE_LOCATION/tmp echo $$ > fetch-running |