Created
January 1, 2021 13:41
-
-
Save neshkeev/ab2e9919e1978ca923753eea71196eeb to your computer and use it in GitHub Desktop.
Configure coq math fonts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
pacman -S xorg-mkfontscale | |
pacman -S texlive-core texlive-fontsextra | |
ls /usr/share/texmf-dist/fonts/opentype/public/ | |
mkdir -p ~/.fonts/OTF/ | |
ln -s /usr/share/texmf-dist/fonts/opentype/public/*ath* ~/.fonts/OTF | |
ls ~/.fonts/OTF/ | |
fc-cache ~/.fonts | |
mkfontscale ~/.fonts/OTF | |
mkfontdir ~/.fonts/OTF |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment