bash: history-related tweaks