bash: history-related tweaks
[~bandali/configs] / .profile
2019-04-14 Amin Bandalishell: clean up old cruft
2019-04-14 Amin Bandalishell: add .profile (based on .zprofile)