Inferno-settings

環境設定に関して

Infernoは、まず、/usr/以下にホームディレクトリを作るところから始まります。

このディレクトリにはさらに

というディレクトリがおかれる。changeloginをしただけでは、これらのディレ クトリは作成されないので注意。

lib/wmsetup

大元は、/lib/wmsetup。ユーザのディレクトリにあれば(例: /usr/hoge/lib/wmsetup)、そっちが優先して実行される。

これはwmを起動したときに実行されるスクリプトである。

wm/toolbarなどはこれに従って実行される。

けど、/lib/wmsetupを/usr/hoge/lib/wmsetupにコピーしたとたん、 wm/wmで、can't establish /chan/plumbと言われ続けて、暴走する。

/lib/wmsetupを直接いじってしまえばメニューを変えることができるんだけど…。

それでいいのかな?namespaceの関係はこれであり?