Andrew R. M d0ea94c3f2 Move prompt management into bash configuration
Also add better history management. I've been using GNU screen for a
while which messes up history for a lot of shells. Every shell will now
  append to and reread history after each command.
2017-11-03 08:05:36 -04:00
..