2 ms·
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
by pratyahava 2mo ago
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 :)))