zsh の history に関するメモ 設定 # 履歴を複数の zsh プロセスで共有する setopt share_history # 履歴サイズ HISTSIZE=10000 SAVEHIST=1000000 # oh-my-zsh が勝手に alias を設定しているのを解除 unalias history # history を表示する際に時刻も同時に表示する alias history="history -t '%m/%d %H:%M:%S'"