Skip to content
Snippets Groups Projects
Select Git revision
  • 5f31bc23f57eac7e5777714e2752221cc2f3f73d
  • master default protected
  • dan_min_max
  • label_ops
  • benchmarks
  • min_max_fred
  • louds_tree
  • bptree_ops
  • bp_loadsave
  • travis_experiments
10 results

min_max.rs

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    build.sh 1.06 KiB
    #!/bin/bash
    
    
    # Create a temporary build directory
    mkdir $(pwd)/tmp
    echo "This is just a temporary directory for building the slides. This should be deleted after a successful build." > ./tmp/README.md
    
    # Run python rendering
    echo "Install the python package."
    poetry install
    poetry run python $(pwd)/render.py
    
    # Merge all slide chunks into one output deck
    echo "Merge all slide chunks into one with the support of Pandoc."
    pandoc $(pwd)/tmp/*-deck.md -o $(pwd)/tmp/fvv-folien-deck.md
    
    # Create slide output
    if [ -d "$(pwd)/output" ]; then
      rm -r "$(pwd)/output"
    fi
    mkdir "$(pwd)/output"
    echo "Compose the output slides."
    cat <<EOF > "$(pwd)/output/fvv-folien-deck.md"
    ---
    title: FVV Folien
    institute: "[TU Dortmund](https://fsinfo.cs.tu-dortmund.de)"
    author: Fachschaftsrat Informatik TU Dortmund
    reveal:
        width: 1920
        height: 1080
    ---
    
    EOF
    cat "$(pwd)/tmp/fvv-folien-deck.md" >> "$(pwd)/output/fvv-folien-deck.md"
    cp "$(pwd)/slides/decker.yaml" "$(pwd)/output"
    
    # Remove temporary build directory
    rm -r "$(pwd)/tmp"
    
    # Finish the build
    echo "Successfully built the slides."