Skip to content

Instantly share code, notes, and snippets.

@inducer

inducer/build-submission-zip.sh

Created September 16, 2020 16:28

  • Select an option

    Learn more about clone URLs

Select an option

Learn more about clone URLs
Download ZIP

Revisions

  1. inducer created this gist Sep 16, 2020.
    24 changes: 24 additions & 0 deletions build-submission-zip.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,24 @@
    #! /bin/zsh
    setopt -o EXTENDED_GLOB

    set -e
    set -x

    if [ "$(uname)" = "Darwin" ]; then
    TAR=gtar
    else
    TAR=tar
    fi

    MAIN_TEX=interface-paper.tex

    "$TAR" cvfz submission.tar.gz --transform='s,.*/,,' \
    "$MAIN_TEX" *.bib figures/*.png figures/*.pdf figures/data/*.dat out/*.bbl

    rm -f submission.zip
    rm -Rf submission-zip
    mkdir submission-zip
    (cd submission-zip; tar xvfz ../submission.tar.gz)
    python purge-comments.py "$MAIN_TEX" > "submission-zip/$MAIN_TEX"
    zip submission.zip -r submission-zip
    rm -Rf submission-zip submission.tar.gz