#!/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. # Set up logging. log() { echo "✒️ $(basename $0): $@"; } # Move into the root directory. cd $(dirname $(dirname $0)) # We only insert the fonts if we are on a CI server. if [ "x$CI" == "x" ] then log "not in CI environment, not installing fonts" else log "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 log "updating font caches" fc-cache fi