Fix manpage prefix for dash
Add timestamps to bash history