diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 22:03:43 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 22:03:43 +0300 |
commit | 1163263e2cb42c4570a1ce8db4bb7c2d2633b081 (patch) | |
tree | 48a341c2fd04f79c25fc8b6bceb77ed77c5e40fa | |
parent | move ssh-related stuff to ssh.sh (diff) | |
download | linux-home-1163263e2cb42c4570a1ce8db4bb7c2d2633b081.tar.gz linux-home-1163263e2cb42c4570a1ce8db4bb7c2d2633b081.zip |
remove ~/.fonts.conf
It seems to be semi-deprecated and I haven't really encoutered bad font
problems lately anyway.
-rw-r--r-- | %HOME%/.fonts.conf | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/%HOME%/.fonts.conf b/%HOME%/.fonts.conf deleted file mode 100644 index 1141094..0000000 --- a/%HOME%/.fonts.conf +++ /dev/null @@ -1,28 +0,0 @@ -<?xml version="1.0"?> - -<!DOCTYPE fontconfig SYSTEM "fonts.dtd"> - -<fontconfig> - <match target="font"> - <edit mode="assign" name="rgba"><const>rgb</const></edit> - <edit mode="assign" name="antialias"><bool>true</bool></edit> - <edit mode="assign" name="hinting"><bool>true</bool></edit> - <edit mode="assign" name="hintstyle"><const>hintfull</const></edit> - </match> - <alias> - <family>serif</family> - <prefer><family>Liberation Serif</family></prefer> - </alias> - <alias> - <family>sans-serif</family> - <prefer><family>Liberation Sans</family></prefer> - </alias> - <alias> - <family>monospace</family> - <prefer><family>Liberation Mono</family></prefer> - </alias> - <match target="font"> - <test name="family"><string>Liberation Mono</string></test> - <edit mode="assign" name="pixelsize"><double>14</double></edit> - </match> -</fontconfig> |