On Thursday 17 March 2005 05:49, Wayne Davison wrote: > On Thu, Mar 17, 2005 at 02:09:43AM +0000, Geoff Wing wrote: > > Didn't we used to do $HISTFILE.<pid> ? Is that out of favour? > > We used to use that idiom as a stepping stone to creating a > $HISTFILE.LOCK file, but now days we use the gettempfile() function > instead (since this avoids a potential problem with the same pid being > allocated on different hosts). If you mention it. I have a bunch of ... -rw------- 1 bor bor 0 Feb 27 22:06 .zsh_history.G4hj3H -rw------- 1 bor bor 27 Feb 23 14:46 .zsh_history.H4YHV6 -rw------- 1 bor bor 28 Mar 13 10:53 .zsh_history.H6UJsW ... with contents like 9354 localhost.localdomain (yes, it is my system name; I installed it three years ago to give a short try and it stuck). how can I get rid of them? -adrey
Attachment:
pgpSrCLr23oN2.pgp
Description: PGP signature