troll-patrol-artifact/scripts/cleanup.sh

#!/bin/bash

if [[ -d belarus-2020-2021 || -d cmz || -d lox-old || -d lox-new || -d sigma-compiler || -d sigma-proofs || -d spongefish || -d troll-patrol || -d parsing-results/lox-old || -d parsing-results/lox-new || -d parsing-results/troll-patrol || -f test-table.tex || -f test-table.pdf ]]; then
    rm -rf belarus-2020-2021 cmz lox-{old,new} sigma-{compiler,proofs} spongefish troll-patrol
    rm -rf parsing-results/{lox-{old,new},troll-patrol}
    rm -f test-table.{tex,pdf}

    echo "Done with basic cleanup."
    echo "If you want to re-build the docker images, stop (and remove) any running containers and docker rmi the existing images:"
    echo "    docker rmi lox-{old,new} troll-patrol tp-analysis"
    echo "then run ./scripts/setup.sh."
fi

if [[ -f appendix-a-results || -f appendix-a-results.tex || -f appendix-a-results.pdf || -f appendix-c-results.tex || -f appendix-c-results.pdf || -f table-2-results.tex || -f table-2-results.pdf || -f table-3-results.tex || -f table-3-results.pdf ]]; then
    if [ "$1" == "--all" ]; then
        rm -rf appendix-a-results appendix-{a,c}-results.{tex,pdf} table-{2,3}-results.{tex,pdf}
        echo "Done with full cleanup."
    else
        echo "Did not remove results. Re-run with --all option to remove these files."
    fi
fi