78Kの日記: zsh の prompt 4
日記 by
78K
prompt の色を変えてみる。
%{\e number m%}
を挟めば、number に応じて色が変わる。
ここなんかが詳しいかな。
%* で時間を表示。詳しくは man zshmisc するとよいかも。
prompt の色を変えてみる。
%{\e number m%}
を挟めば、number に応じて色が変わる。
ここなんかが詳しいかな。
%* で時間を表示。詳しくは man zshmisc するとよいかも。
「科学者は100%安全だと保証できないものは動かしてはならない」、科学者「えっ」、プログラマ「えっ」
built-in commands (スコア:1)
dirs は built-in なのね。
man builtins が参考になる。
Re:built-in commands (スコア:1)
あー、嘘ウソ。
正しくは man zshbuiltins ね。わかるとは思うけど。
.bashrc (スコア:1)
普段の shell を zsh に乗り換えたはいいが、ssh 先で bash を使ってるのに .bashrc を呼んでくれない。
面倒くさいから remote の .bash_profile に
source ~/.bashrc
とか書いてしまった。
ついでなので、SSH_AUTH_SOCK が空の時に ssh-agent を走らせるようにしといた。
Windows のアイコングループ化 (スコア:1)
グループ化されてしまうと、例えば Cygwin と Meadow のうち1つを全画面2分割で表示したい、とかって時に Meadow の中の1つが選択できなくて困るなぁ。困るなぁ。