stud

commit 5db62e550f516aaa8b1365545d9a871afab3b8c6 (tree)
parent fca2e932637208c5882b455fe3f1d68111ca28b7
Author: Motiejus Jakštys <motiejus@uber.com>
Date:   Sun, 25 Apr 2021 11:52:59 +0300

smaller extract-and-generatm

Diffstat:
M
IV/extract-and-generate
 | 
11
++++-------

1 file changed, 4 insertions(+), 7 deletions(-)
diff --git a/IV/extract-and-generate b/IV/extract-and-generate
@@ -1,14 +1,11 @@
-#!/bin/bash
-set -euo pipefail
+#!/bin/bash -eu
 s=${1:-mj-msc-full.pdf}
 d=$(mktemp -d)
-
-readonly f=mj-msc.pdf
-readonly l="$d/make.log"
+f=mj-msc.pdf
+l="$d/make.log"
 echo "Extracting $s to workdir $d/"; pdfdetach -saveall -o "$d" "$s"
 echo "Logs in $l ..."; make -j "$(nproc)" -C "$d" "$f" &> "$l" || {
-    echo "Failed to generate. $l extract:" && tail -20 "$l"
-    exit 1
+    echo "Failed to generate. $l extract:"; tail -20 "$l"; exit 1
 }
 echo "Opening $d/$f ..."; xdg-open "$d/$f"
 echo "$d/$f was closed. Removing $d"; rm -fr "$d"