further workarounds for font issues
This commit is contained in:
parent
e6e3686fab
commit
4bdd69ead9
3 changed files with 295 additions and 6 deletions
|
|
@ -41,6 +41,7 @@ mkShell {
|
|||
opensans-ttf
|
||||
xits-math
|
||||
stix-otf
|
||||
fontconfig
|
||||
|
||||
# for instance DNS query script
|
||||
(python3.withPackages (ps: with ps; [
|
||||
|
|
@ -60,4 +61,7 @@ mkShell {
|
|||
git-lfs
|
||||
(sqlite.override {interactive=true;})
|
||||
];
|
||||
|
||||
# for font discovery
|
||||
FONTCONFIG_FILE = makeFontsConf { fontDirectories = [ lmodern opensans-ttf xits-math stix-otf ]; };
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue