アプリの使い方

LuaLaTeXの環境構築をしてLuaLaTeXデビューする方法

普段はpLaTeX（多分）を使っているのですが、LuaLaTeXだとUTF-8の文字が使えるので、旧字体の名前とかをそのまま書けるのが良いな～と前から思っていました。で、最近LuaLaTeXのファイルを使う機会があり、手で書き直すの面倒だし...

2024.11.05

でじぃ

アプリの使い方

一瞬で終わりますなんかselect-editorってコマンドもあるらしい？使えるならこっちのほうがちょっと楽現在のデフォルトのテキストエディタを表示するコマンドls -lRa /etc/alternatives/editorをUbuntuの...

2023.08.11

でじぃ

アプリの使い方

Xiaomi 12と同時に発表されたMIUI 13。有志が開発しているXiaomi.euのROMも順次Stableのものが出始め、私が持っているXiaomi MIX 4も出ていたので、意を決してアップデートしてみました。しかし、それにあたっ...

2022.02.09

でじぃ

How toTipsアプリの使い方