Linux Mint/自分がやった設定まとめ(2019-07-31編)