while [[ "$1" ]]
do
-
- id="$1"
-
- if [[ ${id} =~ ^http ]]
+ if [[ $1 =~ ^http ]]
then
- id="$(echo "${id}" | sed -e 's|^.*/\([^\]*\)$|\1|')"
+ wget "$1"
+ id="$(echo "$1" | sed -e 's|^.*/\([^\]*\)$|\1|')"
+ filename="${id}.pdf"
+ else
+ filename="$1"
+ id="$(basename ${filename} .pdf)"
fi
curl -s > "${tmp}" "https://arxiv.org/abs/${id}"