bash: history-related tweaks
[~bandali/configs] / .bash_profile
2019-04-14 Amin Bandalibash: add .bash_profile and .bashrc