Questions from a new user (SUMMARY)
Bill Kennedy
bill at ssbn.WLK.COM
Thu Aug 11 01:33:15 AEST 1988
In article <11300001 at osiris.cso.uiuc.edu> hood at osiris.cso.uiuc.edu writes:
>
>Come on guys...
>
>A very simple solution to the problem of multiple history files is to
>tack on the process ID to the file name.
>
> HISTFILE=$HOME/.history$$
>
>Works for me...
>
>Emmet P. Gray US Army, HQ III Corps & Fort Hood
Once again a tip of the hat to Emmet for a useful and welcome contribution.
I knew there was some way to do it but never read enough to know how. This
is handy, Thanks!
Not to be a nit picker, but how do you get rid of them when you log out?
If you stay logged in all the time I can see how it works A-OK, but it
looks like it persists after you're gone. To demonstrate my ignorance,
I can see putting some stuff in /etc/profile that does an ls | grep and
a ps to see if the PID is gone and rm if so, but that seems to be pretty
brute force (I specialize in brute force :-).
It would have to be something like that or when you logged in again, if
you still had a log in active (I mean rm $HOME/.history*) you'd wipe out
one you were still using. Might this be a candidate for the cleanup
script that clears out /tmp or somesuch? Just curious...
--
Bill Kennedy usenet {killer,att,rutgers,sun!daver,uunet!bigtex}!ssbn!bill
internet bill at ssbn.WLK.COM
More information about the Comp.sys.att
mailing list