Aqui está um pequeno script que deve despejar o histórico. Observe que você precisa ser root para roubar espaço de memória de outros processos.
#!/bin/bash
if [ $# -eq 0 ]; then
echo "usage: $0 <bash_pid>"
exit 1
fi
gdb -batch \
--eval "set sysroot /" \
--eval "attach $1" \
--eval "call write_history(\"/tmp/bash_history-$1.txt\")" \
--eval 'detach' \
--eval 'q'
exit 0
p.s. Ver erro como "aviso: não foi possível carregar os símbolos da biblioteca compartilhada para ..." pode acontecer junto com algumas outras linhas com aparência de erro. Tente encontrar o arquivo de histórico de / tmp / antes de começar, também convencido de que o script não funcionou.