2018-09-30 11:22:24 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.fonts;
|
2019-02-17 10:21:12 +00:00
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2018-09-30 11:22:24 +00:00
|
|
|
options = {
|
2019-02-17 10:21:12 +00:00
|
|
|
fonts.enableFontDir = mkOption {
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
Whether to enable font management and install configured fonts to
|
|
|
|
<filename>/Library/Fonts</filename>.
|
|
|
|
|
|
|
|
NOTE: removes any manually-added fonts.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
fonts.fonts = mkOption {
|
|
|
|
type = types.listOf types.path;
|
|
|
|
default = [];
|
|
|
|
example = literalExample "[ pkgs.dejavu_fonts ]";
|
|
|
|
description = "List of fonts to install.";
|
2018-09-30 11:22:24 +00:00
|
|
|
};
|
|
|
|
};
|
2019-02-17 10:21:12 +00:00
|
|
|
|
2018-09-30 12:37:31 +00:00
|
|
|
config = {
|
2019-02-17 10:21:12 +00:00
|
|
|
|
|
|
|
system.build.fonts = pkgs.runCommandNoCC "fonts"
|
|
|
|
{ paths = cfg.fonts; preferLocalBuild = true; }
|
|
|
|
''
|
|
|
|
mkdir -p $out/Library/Fonts
|
|
|
|
for path in $paths; do
|
|
|
|
find -L $path/share/fonts -type f -print0 | while IFS= read -rd "" f; do
|
|
|
|
ln -s "$f" $out/Library/Fonts
|
|
|
|
done
|
|
|
|
done
|
|
|
|
'';
|
|
|
|
|
|
|
|
system.activationScripts.fonts.text = optionalString cfg.enableFontDir ''
|
2018-09-30 11:22:24 +00:00
|
|
|
# Set up fonts.
|
2019-02-17 10:21:12 +00:00
|
|
|
echo "configuring fonts..." >&2
|
|
|
|
find -L "$systemConfig/Library/Fonts" -type f -print0 | while IFS= read -rd "" l; do
|
|
|
|
font=''${l##*/}
|
|
|
|
f=$(readlink -f "$l")
|
|
|
|
if [ ! -e "/Library/Fonts/$font" ] || [ $(stat -c '%i' "$f") != $(stat -c '%i' "/Library/Fonts/$font") ]; then
|
|
|
|
echo "updating font $font..." >&2
|
|
|
|
# FIXME: hardlink, won't work if nix is on a dedicated filesystem.
|
|
|
|
ln -fn "$f" /Library/Fonts
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
|
|
|
fontrestore default -n 2>&1 | while read -r f; do
|
|
|
|
case $f in
|
|
|
|
/Library/Fonts/*)
|
|
|
|
font=''${f##*/}
|
|
|
|
if [ ! -e "$systemConfig/Library/Fonts/$font" ]; then
|
|
|
|
echo "removing font $font..." >&2
|
|
|
|
rm "/Library/Fonts/$font"
|
|
|
|
fi
|
|
|
|
;;
|
|
|
|
/*)
|
|
|
|
# ignoring unexpected fonts
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
done
|
2018-10-06 15:55:21 +00:00
|
|
|
'';
|
2019-02-17 10:21:12 +00:00
|
|
|
|
2018-09-30 11:22:24 +00:00
|
|
|
};
|
|
|
|
}
|