Command history is not saved when shell exited after ctrl+d

tcsh-org / tcsh

This is a read-only mirror of the tcsh code repository.

https://www.tcsh.org/

Other

232 stars 42 forks source link

Command history is not saved when shell exited after ctrl+d #43

Closed yk-rh closed 2 years ago

yk-rh commented 2 years ago

Is this a bug, feature or something configurable? I manually compiled 6.22.04 on CentOS6 and it does not exhibit this bad behavior: when I press ctrl+d the shell prints exit and command history is preserved. Doing the same on stock Fedora 34 shell prints logout on ctrl+d and shell does not save command history. In both cases tcsh is login shell for a user. Interestingly if I type logout or exit in Fedora 34 the history is saved.

suominen commented 2 years ago

I don't think there is a compile time option that would select such behaviour.

yk-rh commented 2 years ago

Updated to Fedora 35, command history is saved in all cases. version tcsh 6.22.04 (Astron) 2021-04-26 (x86_64-unknown-linux) options wide,nls,dl,al,kan,sm,rh,color,filec