All pastes #338753 Raw Edit

wget batch script

public text v1 · immutable
·published 2007-02-03 17:50 UTC
rendered paste body
#!/bin/bash
#
filedir=$HOME/.batchget/
#
dldir=$HOME/.batchget/downloads
#
num=0
#
if [ cd $filedir = $HOME/.batchget ]
#------------------------------------------------
then
echo "batchget dir found"
#--------------------------------------------------
else
echo "creating directory $HOME/.batchget"
mkdir $filedir # it might need super-user privilages to make the directory
#sudo chown $USER $filedir
#
exit
fi
#------------------------------------------------------
echo "making file batchlog in $HOME/.batchget"
echo "#type the urls of the files that are to be downloaded" | cat > batchlog
sudo mv $HOME/batchlog $HOME/.batchget/batchlog
#------------------------------------------------------------

#-------------------------------------------------------
echo "reading batch file"
wget -nc -c -r -i $HOME/.batchget/batchlog.txt -p $dldir
echo "completed"
echo "files in $HOME/.batchget/downloads"
#
exit 0