From 3067965aacf2d5b62f951e2a393f420f5daba7de Mon Sep 17 00:00:00 2001 From: Francois Fleuret Date: Fri, 21 Jan 2022 16:46:33 +0100 Subject: [PATCH] Update. --- arxiv-rename-pdf.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}" -- 2.39.5