projects
/
scripts.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Initial commit.
[scripts.git]
/
arxiv-rename-pdf.sh
diff --git
a/arxiv-rename-pdf.sh
b/arxiv-rename-pdf.sh
index
7b062d6
..
57b80c5
100755
(executable)
--- a/
arxiv-rename-pdf.sh
+++ b/
arxiv-rename-pdf.sh
@@
-21,7
+21,8
@@
set -e
set -o pipefail
set -e
set -o pipefail
-ARXIV_BIBFILE="${HOME}/tex/teaching/dlc/dlc.bib"
+[[ "${ARXIV_BIBFILE}" ]] || (echo >&2 "Define \$ARXIV_BIBFILE"; exit 2)
+[[ "${ARXIV_BIBDIR}" ]] || (echo >&2 "Define \$ARXIV_BIBDIR"; exit 2)
tmp=$(mktemp /tmp/arxiv-bib.sh.XXXXXX)
tmp=$(mktemp /tmp/arxiv-bib.sh.XXXXXX)
@@
-38,6
+39,12
@@
do
id="$(basename ${filename} .pdf)"
fi
id="$(basename ${filename} .pdf)"
fi
+ while [[ -f "$1.part" ]] # dealing with firefox's download
+ do
+ echo "Waiting for $1.part to vanish"
+ sleep 1
+ done
+
echo -n "Fetching info from arxiv.org ... "
curl -s > "${tmp}" "https://arxiv.org/abs/${id}"
echo -n "Fetching info from arxiv.org ... "
curl -s > "${tmp}" "https://arxiv.org/abs/${id}"
@@
-107,7
+114,7
@@
EOF
TITLE="$(echo "${AUTHORS} - ${TITLE} ${YEAR} ${id}.pdf" | sed -e 's/ /_/g')"
TITLE="$(echo "${AUTHORS} - ${TITLE} ${YEAR} ${id}.pdf" | sed -e 's/ /_/g')"
- mv -v "${filename}" "${TITLE}"
+ mv -v "${filename}" "${
ARXIV_BIBDIR}/${
TITLE}"
######################################################################
######################################################################