Skip to content

D
diffgeo-skript
Commit 3ba863d3 authored by Harry Fuchs's avatar Harry Fuchs
Browse files
Options

update pandoc version

parent 51e620ec
Pipeline #2917 passed with stage
    in 9 minutes and 35 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 2 additions and 2 deletions
    do-install-stuff.sh
    View file @ 3ba863d3
    ......@@ -12,12 +12,12 @@ apt-get install --yes python
    apt-get install --yes texlive-full
    #pandoc outdated in debian testing
    TGZ=pandoc-2.7.2-linux.tar.gz
    TGZ=pandoc-2.7.3-linux.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.2/$TGZ"
    wget -c "https://github.com/jgm/pandoc/releases/download/2.7.3/$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