#!/bin/bash set -e source /build/config set -x ## Install apt_install_permanent texlive-full python-pygments gnuplot