|
On 2017-05-31 04:51, Fabian Greffrath wrote: This should probably be /usr/share/fonts/woff*/* here to be prepared for WOFF2 fonts. Would /usr/share/fonts/woff* work, and be simpler? From [1] it says "Note that globs only apply to directories, not to individual fonts." yet one of the examples is "*.pcf.gz" so I am confused. All of this is untested by me. [1] https://www.freedesktop.org/software/fontconfig/fontconfig-user.html Thanks, Bobby |