Ubuntu 18.04 への SATySFi (v 0.0.3) の導入

個人的な覚書です

 

1. 本家README.mdを読んで実践します

github.com

 

2. opamを楽に管理できるppaを探しました

本家README.md では binary install の方法を提示している

opam.ocaml.org

 

基本本家README.mdの指示通りに進めます。 

opam pin add satisfy .  (<-カレントディレクトリの . を忘れないで!)

 

ipaのフォントと特殊なフォント一つを導入するときに参考にした

prololo.hatenablog.com

qiita.com

 

demoやdocを動かすのに必要だった otf, ttfフォントたち

Ubuntu – File list of package fonts-lmodern/trusty/all

↑ このサイトの情報を参考にして、以下のディレクトリにあるotfファイルを全部satysfiのフォントファイルの管理ディレクトリにコピーした

/usr/share/texmf/fonts/opentype/public/lm/

↓ 以下のサイトからフォントファイルをダウンロードして上のときと同様にコピーした

LM Math downloads — GUST Web Presence

 

あとは上に示した SATySFi インストールバトル等のページを参考にしてください

ほか参考サイト

miettal.hatenablog.com

 

感想

製作者さんに敬意を表します