On 04/02/2024 16:46, Gareth Evans wrote:
Re the script command, does anyone know of a way to make commands run during a
script session appear in bash history too?
[...]
man script says
"SEE ALSO
csh(1) (for the history mechanism)"
but
$ man csh
No manual entry for csh
echo $SHELL
If you really use BASH then install bash-doc, it contains manual in
various formats, including texinfo (info "bash") or read it online
https://www.gnu.org/software/bash/manual/
it describes some options related to history handling Actually "man
bash" is something rather close, but it does not allow to save links to
specific sections.
