menu
書いてる野郎
orebike@gmail.com
基本的には Linux Mint/19.1 Mate/自分がやった設定まとめ(2019-02-19編) と同じだと思う。
システムのアップデートの通知が来たのでしたがってアップデート
$ sudo apt install -y gcc make perl
上のメニューから選ぶとCDがマウントされるので自動実行ドンでおしまい
再起動
$ LANG=C $ xdg-user-dirs-gtk-update
フォントのファイルをダブルクリックしてインストールするだけ
まずアプリのIDみたいなモノを調べる。
$ gsettings get org.gnome.Terminal.ProfilesList default 'b1dcc9dd-5262-4d8d-a863-c897e6d979b9'
こういう ID が返ってくるのでこいつを使ってセットする
$ gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font "Ricty 14"
これだけだと変わらないので、ターミナルの Preferences から Custom Font にチェックを入れると反映される。
Java8で
$ sudo apt install openjdk-8-jdk
ダウンロードして解凍して置くだけ。