X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=scripts.git;a=blobdiff_plain;f=arxiv-rename-pdf.sh;fp=arxiv-rename-pdf.sh;h=1cc408a35e099cf9604ee1a3c64c8394f100c640;hp=b165c5e67df954ce4c436040f3b21c016c4c40c1;hb=3067965aacf2d5b62f951e2a393f420f5daba7de;hpb=bef43acb5354ea8114c98a22aeabf9e7338ec90e

diff --git a/arxiv-rename-pdf.sh b/arxiv-rename-pdf.sh
index b165c5e..1cc408a 100755
--- a/arxiv-rename-pdf.sh
+++ b/arxiv-rename-pdf.sh
@@ -29,7 +29,7 @@ tmp=$(mktemp /tmp/arxiv-bib.sh.XXXXXX)
 while [[ "$1" ]]
 do
 
-    if [[ $1 =~ ^http ]]
+    if [[ $1 =~ ^http ]] || [[ $1 =~ ^[0-9\.]*$ ]]
     then
         id="$(echo "$1" | sed -e 's|^.*/\([0-9.]*\)$|\1|')"
         wget "https://arxiv.org/pdf/${id}"