projects
/
scripts.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Update.
[scripts.git]
/
arxiv-rename-pdf.sh
diff --git
a/arxiv-rename-pdf.sh
b/arxiv-rename-pdf.sh
index
b165c5e
..
1cc408a
100755
(executable)
--- 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}"