#!/usr/bin/env bash # Sets up the fonts for building the PDF output. It doesn't do it if we are not # in a CI environment. if [ "x$CI" == "x" ] then echo "$(basename $0): not in CI environment, not installing fonts" else echo "$(basename $0): installing fonts" mkdir -p ~/.local/share/fonts cp $(nix-build --no-out-link '' -A source-serif-pro)/share/fonts/opentype/*.otf ~/.local/share/fonts cp $(nix-build --no-out-link '' -A source-sans-pro)/share/fonts/opentype/*.otf ~/.local/share/fonts fc-cache fc-list | grep -i source fi # Versions # 2022-08-11 - Initial version