Commit dddc1ce3 authored by Harry Fuchs's avatar Harry Fuchs

output pdf as well

parent 5b62c7ff
Pipeline #2176 passed with stage
in 1 minute and 19 seconds
image: registry.dune-project.org/docker/ci/debian:10
image: debian:latest
jobtesting:
script:
......
uname -a
pwd
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install pandoc
echo "next"
apt-get update
apt-get upgrade
apt-get install pandoc
#apt-get not working
TGZ=pandoc-2.7.2-linux.tar.gz
DEST=.local
mkdir $DEST
export PATH=$PATH:$(pwd)/$DEST/bin
echo "export PATH=$PATH:$(pwd)/$DEST/bin" > install-path-pandoc
pwd
ls
echo $PATH
curl -O -L -C - "https://github.com/jgm/pandoc/releases/download/2.7.2/$TGZ"
tar xvzf $TGZ --strip-components 1 -C $DEST
ls .local
pandoc --version
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