zsh入門 パート２
..
711:名無しさん＠お腹いっぱい。
03/09/25 03:08
>>710
わすれてた
HIST_IGNORE_SPACE
これで行頭にスペースがあればヒストリに追加されない。
うちは、これくらいHIST関連のつけてる
setopt extended_history APPEND_HISTORY HIST_EXPIRE_DUPS_FIRST HIST_IGNORE_ALL_DUPS HIST_IGNORE_DUPS
setopt HIST_IGNORE_SPACE HIST_NO_STORE HIST_REDUCE_BLANKS HIST_SAVE_NO_DUPS
ヒストリが増えればその分メモリ食うようになるので
できるかぎり削ってくれるようにしてる。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5337日前に更新/219 KB
担当:undef