-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Le 13.02.2008 22:16, Joe Smith a écrit : <snip> | I just drop non-distro fonts under /usr/local/share/fonts/... and it's | done. The fonts are not "making a big mess", and I don't have to futz | with rpm. I do make rpms of some software that I use, so it's not that | I'm against it, it just doesn't make sense with fonts for me. | | /usr/local is not molested by upgrades, but I keep it on a separate | partition just because "that's how it's done". | | I do have to remember to create /etc/fonts/local.conf: | | <fontconfig> | <!-- Font directory list --> | <dir>/usr/local/share/fonts</dir> | </fontconfig> thank you. That's exactly what I was seeking for! - -- François Patte UFR de mathématiques et informatique Université Paris Descartes 45, rue des Saints Pères F-75270 Paris Cedex 06 Tél. +33 (0)1 44 55 35 61 http://www.math-info.univ-paris5.fr/~patte -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org iD8DBQFHs20ldE6C2dhV2JURAo4dAJ4u8mcZ/AI42IJQJItDTLyfPyOnzgCeNMp5 C7W4Xk5FzbgzOmfVHP/3gBo= =csq4 -----END PGP SIGNATURE-----
