Ubuntu 21.04 へのアップグレードと設定

Ubuntu 21.04 への更新

do-release-upgrade -d

で Ubuntu 20.10 を 21.04 に更新する。

Unison 2.48

他のマシンとバージョンをそろえるために unison コマンドで unison 2.48 を実行したい。

update-alternatives --install /usr/bin/unison unison /usr/bin/unison-2.48 100

とすればよい。

update-alternatives --display unison

で確認する。

update-alternatives --remove unison /usr/bin/unison-2.48

で設定を削除できる。

Ricty Diminished

端末のフォントとして fonts-rikty-diminished を使っているのだが、バッククォートが前の文字に重なる。 https://qiita.com/uKLEina/items/ff0877871fc425952b92#comment-74375ba083e256f6c787 の方法で修正できた。fix_ricty.txt というファイルに

Open($1)
Select(0u0060)
SetGlyphClass("base")
Generate($1)

と書く。

apt insntall fontforge

で fontforge をインストールし、zsh だと

for f in /usr/share/fonts/truetype/ricty-diminished/*.ttf
fontforge -lang ff -script fix_ricty.txt $f

のようにして実行すれば良い。

Pandoc

root で

apt install cabal-install

として cabal をインストールした。pandoc と使用するライブラリはユーザの cabal でインストールした。

cabal update
cabal install pandoc pandoc-crossref pandoc-citeproc

Tags of current page

, ,