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

zsh入門

512 ：名無しさん＠お腹いっぱい。 ：02/06/16 17:33

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

INC_APPEND_HISTORYとSHARE_HISTORYの同期するタイミングの違いが知りたい。
SHARE_HISTORYは即座に、INC_APPEND_HISTORYはfc -RIした時という認識で合ってる？

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