X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=scripts.git;a=blobdiff_plain;f=arxiv-rename-pdf.sh;fp=arxiv-rename-pdf.sh;h=57b80c5213d09fd68947e50a5ea0e6fda1c07da1;hp=7b062d6662a1e38ae8c05952c696c245ec0a1a87;hb=12b8b183fd2530b15c4a5620ac5bd26220d99479;hpb=4533cd84b6c05d62f049fba6f47530cb972f2194

diff --git a/arxiv-rename-pdf.sh b/arxiv-rename-pdf.sh
index 7b062d6..57b80c5 100755
--- a/arxiv-rename-pdf.sh
+++ b/arxiv-rename-pdf.sh
@@ -21,7 +21,8 @@
 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)
 
@@ -38,6 +39,12 @@ do
         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}"
@@ -107,7 +114,7 @@ EOF
 
     TITLE="$(echo "${AUTHORS} - ${TITLE} ${YEAR} ${id}.pdf" | sed -e 's/ /_/g')"
 
-    mv -v "${filename}" "${TITLE}"
+    mv -v "${filename}" "${ARXIV_BIBDIR}/${TITLE}"
 
     ######################################################################