history on AFS

["Julian L. Ho" <jh6j+@andrew.cmu.edu>]

Sorry if this isn't the sort of thing you want in your mailbox.  Here
is what I've been using to keep my history file updated in spite of
AFS...

-J

# AFS holds a complete history, always.  This is atomic on a per machine,
# per login basis.  Avoid logging out more than once, at the same time.

# history file for this shell and all its children
# put on the local hard drive (hopefully O_APPEND works there)
history = /tmp/. ^ $USER ^ _history_ ^ $pid

# build history file (or turn off all history processing)
if (cp $home/.history $history) {
    oldhistsiz = `{ wc -l $history }
    oldhistsiz = $oldhistsiz(1)
} else
    history = ()

# clean up machine local history
# add to sigexit
fn history {
    if (~ $history ())
	return

    if (~ $oldhistsiz ())
	oldhistsiz = `{ wc -l $history } 

    L = `{ expr $oldhistsiz(1) + 1 } \
    sed -n $L ^ ',$p' $history >>$home/.history &&
	rm -f $history
}