Comment Comment by pratyahava zshrc for saving history: mkdir -p $HOME/zsh HISTFILE="$HOME/zsh/$(date '+%y:%m%d:%H%M')-$$" echo "HISTFILE $HISTFILE" for easily accessing the history without running grep... will figure it out later :))) parent pratyahava 2 months ago