年末なので、設定ファイルの大掃除をしていた。
ここ数年、ウインドウマネージャには、xmonadを使っているが、
ウィンドウマネージャの設定は使っているキーボード/ディスプレィによって変わる。
各マシンごとに設定ファイルを別にしていたが、これを何とか統一の設定ファイルがあちこちで動くようになってほしい。
まず、ホストネームを取得する。
これは標準ライブラリに関数があり、
という感じで取得できた。
文字列定数を切り替えたい場合、
という感じで分岐できる。
困ったのが、レイアウトを分岐するところ。
という風に定義すると、myLayout関数の返り値の型が定義によって違うためエラーになる。
仕方ないので、
という風に定義して使ってる。
もっといい方法がありそうだけど…とりあえずこれで今年は年をこせそうかな。