wm/extract-and-generate

13 lines
444 B
Plaintext
Raw Normal View History

2021-05-19 22:57:46 +03:00
#!/bin/bash
set -euo pipefail
dir=$(mktemp -d)
2021-05-19 22:57:46 +03:00
fname=${1:-mj-msc-all.pdf}
echo "Extracting $fname to $dir/" && pdfdetach -saveall -o "$dir" "$fname"
echo "Generating $dir/$fname ..."
make -j $(nproc) -C "$dir" "$fname" &> "$dir/make.log" || {
2021-05-19 22:57:46 +03:00
echo "Generation failed. Log extract:" && tail -20 "$dir/make.log"
2021-05-19 22:57:46 +03:00
exit 1
2021-05-19 22:57:46 +03:00
}
echo "Opening $dir/$fname ..." && xdg-open "$dir/$fname"
echo "File has been closed. Removing $dir" && rm -fr "$dir"