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
57b80c5
..
b165c5e
100755
(executable)
--- a/
arxiv-rename-pdf.sh
+++ b/
arxiv-rename-pdf.sh
@@
-31,17
+31,17
@@
do
if [[ $1 =~ ^http ]]
then
if [[ $1 =~ ^http ]]
then
-
wget "$1
"
-
id="$(echo "$1" | sed -e 's|^.*/\([^\]*\)$|\1|')
"
+
id="$(echo "$1" | sed -e 's|^.*/\([0-9.]*\)$|\1|')
"
+
wget "https://arxiv.org/pdf/${id}
"
filename="${id}.pdf"
else
filename="$1"
id="$(basename ${filename} .pdf)"
fi
filename="${id}.pdf"
else
filename="$1"
id="$(basename ${filename} .pdf)"
fi
- while [[ -f "$
1
.part" ]] # dealing with firefox's download
+ while [[ -f "$
{id}.pdf
.part" ]] # dealing with firefox's download
do
do
- echo "Waiting for $
1
.part to vanish"
+ echo "Waiting for $
{id}.pdf
.part to vanish"
sleep 1
done
sleep 1
done