How to reset the background on GNOME desktop (with unusual way...)

ニッチな需要かもだけど、どうなってんのという感じで。

背景画像や背景色の変更はGNOME上ではgnome-appearance-propertiesで行う。ここを一度でも変えると個々人の設定として記録される。ディストリビューションによっては毎リリースごとテーマを変えてくるものもあり、新しいバージョン入れた!って気分を味わえなくてつまらないので、これを強制的にリセットする方法を探してみた。

といってもそんな大した話ではないけど、まずひとつ。/desktop/gnome/background/picture_filenameというキーがあって、こいつをクリアすると背景画像がデフォルトのものに戻る。が、しかし、再びgnome-appearance-propertiesを起動すると設定したものへまた戻ってしまう。
で、もうひとつ。$HOME/.gnome2/backgrounds.xmlというファイル。ここにも背景画像、背景色に関する情報が記録される。両方消すとデフォルトのものが正しく適用されるようになる。

おしまい。

clock appletでタイムゾーンの変更ができない

GNOME 2.22に入っているclock appletはタイムゾーンの変更をサポートしてる。海外出張とかで、ノートごともっていったりなんかした時に、appletから手軽に変更できるのでたいへん便利。ちょうど今回その恩恵に与ったわけなんだけど、実際に表示される時間が変更されない。不思議に思ってたんだけど、原因は実は.zshenvとかにTZ環境変数を設定してたのがまずかったようだ。

gnome-keyboard-propertiesで設定が変更できない?

こんなエラーダイアログがずいぶん前から、起動時およびgnome-keyboard-propertiesで設定を変更しようとすると出てて、当然ながらこの設定は反映されていない。

このほど やっと解決方法が分かったので、メモ代わりに残しておこうと思う。

手順は次のとおり:

1. gnome-keyboard-propertiesを起動してレイアウトタブを開く。
2. デフォルトに戻すボタンをクリック。
3. なんか適当なレイアウト、例えばU.S. Englishとかを追加。
4. デフォルトをU.S. Englishに切り替える。
5. 一度古いレイアウトを削除。
6. 再度新たにJapanレイアウトを追加。
7. レイアウトの優先順位をDnDでJapanが先にくるようにする。
   
8. デフォルトレイアウトをJapanに戻す。

以上の手順でgnome-keyboard-properties上で設定を変えても、ちゃんと反映されるようになる。
注意点としては、7.を忘れるとus layoutが優先されるので、日本語キーボードの右端のキーが尽く反応しなくなる。あと、一度古いのを削除する必要があるのかどうかは分からないけど、なんとなく。

ダブルクリックで選択する文字範囲の変更

先日ちょっとした事故でgnome-terminalのprofileをすべて消失させてしまってから、ダブルクリックによる文字選択の挙動が変わってしまったので、ちょっとメモ。

まず何が悪かったかというと、profileのdialogにある「単語単位で選択する文字」が空だったことで、これによって英数字のみ単語として認識する、という状況だった。これだと、ちょっと不便なので、設定を次のように変えた。

.0-9A-Za-z-

実際にこれを処理しているのがvte_terminal_set_word_chars()で、レンジ指定を可能にするためにハイフンのみ特殊な役割を担っている。よって-そのものを含めたい場合は、その出現位置に注意しないといけない。ややバグっぽい挙動だけど

0-9A-Za-z.-

と記述すると.が無視されてしまう。まあ単独の文字として扱われる条件が

                if ((wbuf[i] != '-') && (wbuf[i + 1] != '-')) {

で、レンジの条件が

                if ((wbuf[i] != '-') &&
                   (wbuf[i + 1] == '-') &&
                   (wbuf[i + 2] != '-') &&
                   (wbuf[i + 2] != 0)) {

となっていて、これに漏れた条件については救済していないのが原因。BK臭が漂ってはいるけれども最初に書いたようにしておいた。