zeptometer / SATySFi-fonts-dejavu

SATySFi font package for DejaVu fonts

SATySFi-Fonts-DejaVu

SATySFi Font Library with Satyrographos: DejaVu Fonts

To use this font, please install this package followed by satyrographos install.

Installation

Install SATySFi & Satyrographos

If you don't have them, please install them with this instruction.

Install SATySFi-Fonts-DejaVu

$ opam pin add "git+https://github.com/zeptometer/SATySFi-fonts-dejavu.git"
$ opam install satysfi-fonts-dejavu
$ satyrographos install

if you get error bash: satyrographos: command not found, please read the instruction of satyrographos.

Installed Fonts

This package install the following fonts.

SATySFi Font Name	Font Filename
fonts-dejavu:DejaVuMathTeXGyre	DejaVuMathTeXGyre.ttf
fonts-dejavu:DejaVuSans-Bold	DejaVuSans-Bold.ttf
fonts-dejavu:DejaVuSans-BoldOblique	DejaVuSans-BoldOblique.ttf
fonts-dejavu:DejaVuSans-ExtraLight	DejaVuSans-ExtraLight.ttf
fonts-dejavu:DejaVuSans-Oblique	DejaVuSans-Oblique.ttf
fonts-dejavu:DejaVuSans	DejaVuSans.ttf
fonts-dejavu:DejaVuSansCondensed-Bold	DejaVuSansCondensed-Bold.ttf
fonts-dejavu:DejaVuSansCondensed-BoldOblique	DejaVuSansCondensed-BoldOblique.ttf
fonts-dejavu:DejaVuSansCondensed-Oblique	DejaVuSansCondensed-Oblique.ttf
fonts-dejavu:DejaVuSansCondensed	DejaVuSansCondensed.ttf
fonts-dejavu:DejaVuSansMono-Bold	DejaVuSansMono-Bold.ttf
fonts-dejavu:DejaVuSansMono-BoldOblique	DejaVuSansMono-BoldOblique.ttf
fonts-dejavu:DejaVuSansMono-Oblique	DejaVuSansMono-Oblique.ttf
fonts-dejavu:DejaVuSansMono	DejaVuSansMono.ttf
fonts-dejavu:DejaVuSerif-Bold	DejaVuSerif-Bold.ttf
fonts-dejavu:DejaVuSerif-BoldItalic	DejaVuSerif-BoldItalic.ttf
fonts-dejavu:DejaVuSerif-Italic	DejaVuSerif-Italic.ttf
fonts-dejavu:DejaVuSerif	DejaVuSerif.ttf
fonts-dejavu:DejaVuSerifCondensed-Bold	DejaVuSerifCondensed-Bold.ttf
fonts-dejavu:DejaVuSerifCondensed-BoldItalic	DejaVuSerifCondensed-BoldItalic.ttf
fonts-dejavu:DejaVuSerifCondensed-Italic	DejaVuSerifCondensed-Italic.ttf
fonts-dejavu:DejaVuSerifCondensed	DejaVuSerifCondensed.ttf