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 $SHELLIf 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.