20 lines
606 B
Bash
Executable file
20 lines
606 B
Bash
Executable file
#!/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 '<nixpkgs>' -A source-serif-pro)/share/fonts/opentype/*.otf ~/.local/share/fonts
|
|
cp $(nix-build --no-out-link '<nixpkgs>' -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
|