レス数が1000を超えています。残念ながら全部は表示しません。

zsh入門

504 ：名無しさん＠お腹いっぱい。 ：02/06/13 01:42

>>503
デフォルトでは $HISTFILE の同期は zsh プロセスが exit したときだからね。
INC_APPEND_HISTORY や SHARE_HISTORY を有効にしていると、この
タイミングが変わる。

ちなみに、自分は INC_APPEND_HISTORY の動作の方が好み。SHARE_HISTORY
は、直前の履歴を使い回すことが多い時は却って不便だ。マニュアルにあるように、
適当なタイミングで fc -RI する方が使い易い。

read.cgi ver5.26+ (01/10/21-)