2018-03-20(火) 急に寒くなった
_ 今日も疲れたね
午後から長い打ち合わせがあった。それ以外の時間は、昨日からの調べ物の続き。こちらは、なんとか良いところまで終わったので、まあ良しとするか。
_ ばぐじら救援通信 vol. 450
発行した。今回は、メジャーリリースもあったことなので、その告知でお茶を濁した。
_ GNOME Shellユーザテーマ
GNOME TweaksでGNOME Shell用のテーマのところがグレイアウトしていて設定できない。ポップアップで、「debian gnome shellユーザーテーマ拡張機能が有効ではありません」とある。試しに、Debianのgnome-shell-extensionsパッケージをアンインストールしてから、GNOME Shell ExntesionsのUser Themes拡張をインストールしてみたら、ユーザテーマを設定できるようにあった。gnome-shell-exntensionsパッケージに問題があるのだろうか。
Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com