Debian GNU/Linux – ページ 2 – 怠惰の形而上学

Debian 10 “Buster” が stable に

Debian — News — Debian 10 “buster” released 2019年7月6日，Debian 10 “Buster” が […]

あるマシンで，某 OS のアップデートがどうしても失敗するので諦めて October 2018 Update のインストールメディアを作成して [ref]これが簡単にできるようになったのは素晴らしい。そもそも同じメジャー […]

ラップトップ PC によっては，サスペンドからのレジューム後にタッチパッドが使えなくなる場合があります [ref]いままでに何台かの富士通製で遭遇。[/ref]。BIOS/UEFI の設定で改善したという話もあり，どうも […]

Firefox のバージョンも60を数えた2018年。Shiretoko (バージョン3.5)がもう遠い昔のことであるように思われます。アドオン類もメインストリームは Quantum 対応に移りつつあり，Quantum […]

デスクトップ環境として Xfce を選択して Debian をインストールしたときのテーマは本当にうんざりするほど古くさく，しかも使いにくいです。いやいや，Xfce の実力はこんなもんじゃあないんですってば。安定第一な […]

Debian で LibreOffice を使うとき，「新規作成」や「開く」といったボタンを表示するのに，標準では「Tango」アイコンセットが使われます。 Tango も良いものなのですが，ボタンがたくさん並ぶオフィス […]

Debian with Raspberry Pi Desktop とは青い空，白い雲。絶好の Liunx 日和ですね。そこで今日は“ Debian with Raspberry Pi Desktop ”（以下 Deb […]

デフォルトでは GTK3 用のツールバーが使用されるため，GTK2 を使っている Xfce パネルと外観が揃わないのが原因。 GTK2 用のツールバーを使用するよう明示的に指定すれば解決する。 $ sudo update […]

何度やっても忘れるのでメモ。 2017/10/10追記： qtconfig は多機能ですが，実際にはテーマを「GTK+」にする以外で使うことが殆どないことに気付きました。テーマだけなら，設定ファイルに書き込むだけで選択で […]

前置きを書いてたら長くなったので本題から先に。 light-locker は lightdm に依存する画面ロックツールで，xscreensaver や gnome-screensaver の代替として利用可能。ただしス […]