My zshrc has ...
date=$( date +'%Y%m%d' ) # HOSTNAME is assigned, well, host name elsewhere. HISTFILE="${HOME}/log/sh/zhist.${date}.${HOSTNAME}" SAVEHIST=9000 HISTSIZE=9500
In reply to Re^2: Work practices: log books, notes files...
by parv
in thread Work practices: log books, notes files...
by doom
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |