projects
/
scripts.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0904c15
)
Update.
author
Francois Fleuret
<francois@fleuret.org>
Tue, 24 Oct 2017 12:39:11 +0000
(14:39 +0200)
committer
Francois Fleuret
<francois@fleuret.org>
Tue, 24 Oct 2017 12:39:11 +0000
(14:39 +0200)
arxiv-bib.sh
patch
|
blob
|
history
diff --git
a/arxiv-bib.sh
b/arxiv-bib.sh
index
3097a79
..
45a6b34
100755
(executable)
--- a/
arxiv-bib.sh
+++ b/
arxiv-bib.sh
@@
-33,6
+33,8
@@
do
id="$(echo "${id}" | sed -e 's|^.*/\([^\]*\)$|\1|')"
fi
+ id="$(echo "${id}" | sed -e 's/.pdf$//')"
+
curl -s > "${tmp}" "https://arxiv.org/abs/${id}"
AUTHORS=""