I added some simple history command in order to get some info every time
I am on a Ubuntu 18.04.2 LTS Dell local machine with bash 4.4.20(1)-release, shell /bin/bash. If I open a new shell:
history | tail
but I noticed that when I open a new terminal it does show me anything, while if I:
source ~/.bashrc
it works well. I guess it has something to do with history characteristics and new terminals but even googling and looking here I can not figure out what!
Thanks in advance for any help!
--- EDITED ---
grep HIST ~/.bashrc ~/.profile ~/.bash_profile
/home/enrico/.bashrc:HISTCONTROL=ignoreboth
/home/enrico/.bashrc:# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
/home/enrico/.bashrc:HISTSIZE=1000
/home/enrico/.bashrc:HISTFILESIZE=2000
/home/enrico/.bashrc:export HISTTIMEFORMAT="%Y-%m-%d %T "
grep: /home/enrico/.bash_profile: No such file or directory
grep HIST ~/.bashrc ~/.profile ~/.bash_profileand the output ofecho $SHELL. – terdon Dec 18 '20 at 13:10.bashrcor/etc/profile.d? – bxm Dec 18 '20 at 15:01.bashrc, also edited the question accordingly to previous comments – cccnrc Dec 18 '20 at 16:46