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

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton