Re: how to log bash commands (like with history or 'script' utility, but better)

[address@hidden]

> ps. Perhaps some readline magic somehow??

some lines from my .bashrc

HISTFILESIZE=10000000000
export HISTFILESIZE
HISTSIZE=10000000000
export HISTSIZE
HISTTIMEFORMAT="[%Y-%m-%d_%T] "
export HISTTIMEFORMAT
HISTFILE=~/.bash_eternal_history
export HISTFILE
PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"

(last line I do not understand)

this .bashrc should be in /etc/skel/


IT still functions :-)

# history|less
    1  [2018-03-27_13:01:03] git commit --amend --reset-author
    2  [2018-03-27_13:01:12] cd ..
    3  [2018-03-27_13:01:13] git commit --amend --reset-author
    4  [2018-03-27_13:01:51] pass
    5  [2018-03-27_13:30:34] pass --help
    6  [2018-03-27_13:31:08] pass insert
    7  [2018-03-27_13:31:15] pass insert http://192.168.2.254
    8  [2018-03-27_13:45:04] echo $GPG_AGENT_INFO
    9  [2018-03-27_13:45:16] echo $SSH_AUTH_SOCK
   10  [2018-03-27_14:43:34] imwheel --kill --buttons "4 5" &
   11  [2018-03-27_14:44:27] cd '/mnt/sdb1/arne/.fluxbox/styles/Mijn
   Matrix Style'

Greetings from here,
Arne