2021-03-31 15:12:42 +03:00
|
|
|
#!/bin/bash
|
|
|
|
set -euo pipefail
|
|
|
|
dir=$(mktemp -d)
|
2021-04-01 20:44:22 +03:00
|
|
|
src=${1:-mj-msc-all.pdf}
|
|
|
|
dst=${2:-mj-msc.pdf}
|
|
|
|
echo "Extracting $src to $dir/" && pdfdetach -saveall -o "$dir" "$src"
|
|
|
|
echo "Generating $dir/$dst ..."
|
|
|
|
make -j $(nproc) -C "$dir" "$dst" &> "$dir/make.log" || {
|
2021-04-01 17:27:49 +03:00
|
|
|
echo "Generation failed. Log extract:" && tail -20 "$dir/make.log"
|
2021-03-31 15:12:42 +03:00
|
|
|
exit 1
|
2021-04-01 16:13:29 +03:00
|
|
|
}
|
2021-04-01 20:44:22 +03:00
|
|
|
echo "Opening $dir/$dst ..." && xdg-open "$dir/$dst"
|
2021-04-01 16:13:29 +03:00
|
|
|
echo "File has been closed. Removing $dir" && rm -fr "$dir"
|