oktools/all-bash-history — pull request #1 by djoot (2013-03-07 22:24:38+00:00)
Title: bashrc.user: allow spaces in directory names

Fix preloading of the working directory history list to allow spaces in directory names.