From dc203eaf5afe4c1848452300c4fc0080a005a1ce Mon Sep 17 00:00:00 2001 From: Riyyi Date: Wed, 4 Apr 2018 14:31:25 +0200 Subject: [PATCH] Remove unused script --- .scripts/latex.sh | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 .scripts/latex.sh diff --git a/.scripts/latex.sh b/.scripts/latex.sh deleted file mode 100755 index c999ea3..0000000 --- a/.scripts/latex.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh - -if [ "$1" = "kill" ]; then - pkill latex.sh -else - DIR="$1" - OUT="$DIR/out" - mkdir -p $OUT - HASH="$(md5sum $DIR/main.tex)" - - while true; do - sleep 1 - - TMP="$(md5sum $DIR/main.tex)" - if [ "$HASH" != "$TMP" ]; then - HASH="$TMP" - pdflatex -no-file-line-error -interaction=nonstopmode -synctex=1 \ - -output-format=pdf -output-directory=$OUT $DIR/main.tex \ - > /dev/null 2>&1 - fi - done -fi -