I have set in /etc/csh.cshrc
i.e. the ~/.history gets merged with the previous one. IIUC the
Code:
[...]
set histdup = erase
set history = 5000
set savehist = (5000 merge lock)
[...]
lock
is necessary to avoid clashes when a csh(1)ell is closed while another one is still merging it's .history. Occasionally csh(1) hangs on logout, blocking the getty(8) on the virtual terminal to open the next login(8) or in case of a graphical terminal, blocking it from closing the tab. Then I have to manually delete ~/.history.lock to let the shell close itself, leaving over some old ~/.history-12345 files. Does anyone have a solution or workaround for this issue? Yes I know I can RTSL & will do so, but I'd like to ask here 1st.