From 0fb5c3a11820e6d96612d3e406ce21d33dc9a0ca Mon Sep 17 00:00:00 2001 From: mark Date: Tue, 10 Oct 2023 22:00:32 -0700 Subject: [PATCH] Minor cleanup --- .gitignore | 2 ++ build.sh | 55 ++++++++++++++++++++++++++++++++++++ resources/scripts/.gitignore | 2 -- resources/scripts/build.sh | 48 ------------------------------- 4 files changed, 57 insertions(+), 50 deletions(-) create mode 100755 build.sh delete mode 100644 resources/scripts/.gitignore delete mode 100755 resources/scripts/build.sh diff --git a/.gitignore b/.gitignore index 178f4e0..87ec4fc 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,8 @@ __pycache__ *-ignore # Output files +/output +/output.zip main.pdf **/build diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..dda3867 --- /dev/null +++ b/build.sh @@ -0,0 +1,55 @@ +#!/usr/bin/env bash +run_dir=$(pwd) +target="output" + +rm -drf "${target}" +rm -f "output.zip" + +function build() { + local doc_dir="$(dirname "${1}")" + local main_file="$(basename "${1}")" + local job_name="$(basename "${doc_dir}")" + + echo "|> Building ${job_name}..." + cd "${doc_dir}" + + tectonic \ + --outfmt pdf \ + --chatter minimal \ + main.tex + + stat=$? + + if [[ $stat == 0 ]]; then + mv main.pdf "${OUTPUT}/${job_name}.pdf" + echo "" + else + rm -f main.pdf + echo "|> Build failed" + echo "" + fi + + cd "${run_dir}" +} + + +for d in ./Advanced/*/ ; do + doc_dir=$(realpath "${d}") + OUTPUT="${run_dir}/${target}/Advanced" + mkdir -p "${OUTPUT}" + + build "${doc_dir}/main.tex" +done + +for d in ./Intermediate/*/ ; do + doc_dir=$(realpath "${d}") + OUTPUT="${run_dir}/${target}/Intermediate" + mkdir -p "${OUTPUT}" + + build "${doc_dir}/main.tex" +done + +ls +pwd + +zip -FSrj output.zip "${target}" \ No newline at end of file diff --git a/resources/scripts/.gitignore b/resources/scripts/.gitignore deleted file mode 100644 index 2f0a250..0000000 --- a/resources/scripts/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -output -output.zip \ No newline at end of file diff --git a/resources/scripts/build.sh b/resources/scripts/build.sh deleted file mode 100755 index f853653..0000000 --- a/resources/scripts/build.sh +++ /dev/null @@ -1,48 +0,0 @@ -#!/usr/bin/env bash -START=$(pwd) -OUT_SUBDIR="output" - -function build() { - local DIR="$(dirname "${1}")" - local MAIN="$(basename "${1}")" - local NAME="$(basename "${DIR}")" - - echo "|> Building ${NAME}..." - cd "${DIR}" - - tectonic \ - --outfmt pdf \ - --chatter minimal \ - main.tex - - stat=$? - - if [[ $stat == 0 ]]; then - mv main.pdf "${OUTPUT}/${NAME}.pdf" - echo "" - else - rm -f main.pdf - echo "|> Build failed" - echo "" - fi -} - - -for d in ../../Advanced/*/ ; do - DIR=$(realpath "${d}") - OUTPUT="${START}/${OUT_SUBDIR}/Advanced" - mkdir -p "${OUTPUT}" - - build "${DIR}/main.tex" -done - -for d in ../../Intermediate/*/ ; do - DIR=$(realpath "${d}") - OUTPUT="${START}/${OUT_SUBDIR}/Intermediate" - mkdir -p "${OUTPUT}" - - build "${DIR}/main.tex" -done - - -zip -FSrj output.zip "${OUT_SUBDIR}"/* \ No newline at end of file