diff options
Diffstat (limited to 'update-pdf.sh')
| -rw-r--r-- | update-pdf.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/update-pdf.sh b/update-pdf.sh deleted file mode 100644 index f342079..0000000 --- a/update-pdf.sh +++ /dev/null @@ -1,27 +0,0 @@ -if [[ $# != 1 ]] -then - echo "Usage: $0 [.tex file]" - exit 1 -fi - -PRACA=$1 -if ! [[ -f $PRACA ]] -then - echo "No such file: $PRACA" - exit 1 -fi - -threshold=1 -while true -do - if (($(date +"%s")- $(stat --format="%Y" $PRACA) < $threshold)) - then - echo "updating" - pdflatex $PRACA - biber $PARACA - pdflatex $PRACA - pdflatex $PRACA - else - sleep 0.2 - fi -done |