zsh入門 パート2at UNIXzsh入門 パート2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト429:422 03/06/04 19:54 >>425 history ファイル見てみたらタイムスタンプが前回 X を終了した時刻になってたから、 logout じゃなくて signal 受けて終了するときにもちゃんと保存するのかな。 >>427 HISTFILE=~/.zsh_history.$HOST.$tty とかやってるからそれほど不便ではないです。 430:417 03/06/04 21:12 $HISTSIZE の単位が byte で、 $SAVEHIST が数ですよね? 最初の設定の時にどっちがどっちだか分からなかったので、 両方とも同じにしてました。 あと setopt extended_history して、$HISTFILEに時間も記録しているから サイズが大きめかもしれない。 でも setopt hist_ignore_all_dups, setopt hist_ignore_dups はしてますよ。 とりあえず、 $HISTSIZE => 512000, $SAVEHIST => 10000 にしておきました。 431:名無しさん@お腹いっぱい。 03/06/04 21:24 byteじゃないだろ。 The maximum number of events stored in the internal history list. 432:名無しさん@お腹いっぱい。 03/06/04 21:53 zsh のスレでは、何故か byte 単位とか言う奴が時々出てくるのが謎 もしかして他にそんな shell があるのか 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch