タグ

2007年10月30日のブックマーク (1件)

  • zshでホストごとに色を変える - val it : α → α = fun

    いろいろあってこのところzshに関係することをあれこれやっていたりしてたんですが、やってるうちに思いついたことがありまして。 わたしはzshのRPROMPT(プロンプトの右端に出てくる文字)にユーザ名とホスト名を入れるという設定をしています。で、ユーザ名は通常は黄色なんだけど、suしたりsudo -sしたりしたときには赤くなる、という設定にしている。これはなかなか目立ってよろしいわけです。 でもまあ、昔はそうでもなかったんだが近頃じゃ滅多にsudo -sもしないし。そうすると色が変わることのメリットがあんまないんですわ。まああんまりなくてもやっておく意味はあるんですけど、この「色が変わる」というのはほかに活かせるんではないかと唐突に思いまして。たとえば、いろんなホストで作業するときにはマシンごとに色が変わると視認性が上がるんではないかと。 でまあどうしようかな、とちょっと思っていろいろ試し