Skip to content

D
diffgeo-skript
Commit 37ad1e94 authored by Harry Fuchs's avatar Harry Fuchs
Browse files
Options

update continuous integration script

parent 6097c321
Pipeline #3202 passed with stage
    in 9 minutes and 46 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 2 deletions
    do-ci-stuff.sh
    View file @ 37ad1e94
    set -e
    source ./do-install-stuff.sh
    source ./do-compile-stuff.sh
    do-install-stuff.sh
    View file @ 37ad1e94
    ......@@ -12,12 +12,12 @@ apt-get install --yes python
    apt-get install --yes texlive-full
    #pandoc outdated in debian testing
    TGZ=pandoc-2.7.3-linux.tar.gz
    TGZ=pandoc-2.9.1-linux-amd64.tar.gz
    DEST=.local
    mkdir $DEST
    export PATH=$PATH:$(pwd)/$DEST/bin
    echo "export PATH=$PATH:$(pwd)/$DEST/bin" > install-path-pandoc
    wget -c "https://github.com/jgm/pandoc/releases/download/2.7.3/$TGZ"
    wget -c "https://github.com/jgm/pandoc/releases/download/2.9.1/$TGZ"
    tar xvzf $TGZ --strip-components 1 -C $DEST
    ls .local
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment