X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=arxiv-rename-pdf.sh;h=57b80c5213d09fd68947e50a5ea0e6fda1c07da1;hb=9a7626ba54fbad40a643f94f8b189168c3830e85;hp=5ec49c0c66f936ec9ead22dc728c56f190c028a8;hpb=bc0354cbdfeb98441e3e308160c2c4221dad32cc;p=scripts.git diff --git a/arxiv-rename-pdf.sh b/arxiv-rename-pdf.sh index 5ec49c0..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}" @@ -53,7 +60,7 @@ do do [[ "${AUTHORS}" ]] && AUTHORS="${AUTHORS} and " AUTHORS="${AUTHORS}${line}" - done < <(grep -q '