diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-06-28 18:28:29 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-06-28 18:28:29 +0200 |
| commit | 8c3772288630df347539eadde88dc22cc4ef2af0 (patch) | |
| tree | db302d86910ef1a596be3686f4fedfa45018df6c /update-pdf.sh | |
| parent | 22dfe4dade829c5b9fc1f8928f0c78ce99084e19 (diff) | |
Nowe rzeczy, wstep do teorii kategorii
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 |