2018-08

Blog

d-20180830

8 月も終わる。いろいろきちんと進めねば。 XMPP を調べる 手順はどんなものか考えてみる。 XMPP サーバの準備 XMPP サーバの設定 XMPP クライアントの準備 XMPP クライアントの設定 XMPP ライブラリの選定 実際の開...
Tech

[Ubuntu 18.04] 端末のフォントの設定

現在、端末(gnome-terminal)のフォントは Ricty を使っています。16.04 や今まで 18.04 を設定していて端末の設定画面から Ricty を選択できたような気がしていたんですが、どうもできていなかったようです(Ci...
スポンサーリンク