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_profile
and the output ofecho $SHELL
. – terdon Dec 18 '20 at 13:10.bashrc
or/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