opera6.ini の [User Prefs] Enable Drag は結局 9 になっていたり。というか、いろいろな設定で使ってみてここに落ち着いた。

Setting text を参照し、仮想ターミナルから$ nvidia-settingsと打ち込むと Linux 版の GUI 設定ツールが立ち上がる。そこに書いてある通り、これを一度立ち上げると ~/.nvidia-settings-rc というファイルが作成されるので、アンチ GUI 派の人はそれからい…

今日の放送は、NHK 第一が午後 7 時 15 分から、BS2 が 22 時から。それまでに今週のノートを完成させねば。

埼玉県の雨雲の動き （実況）のアニメーション gif を今朝チェックした時は昼前から頭上に雨雲がかかっていたが、投票に行きあまりに雲が見えないので再度再生してみると望み薄。箱根、丹沢、入間、秩父の山々が空気の流れを避けさせているようだ。 実家で両…