At work, I run the mysql clients on multiple hosts with multiple versions. My
home directory is a network mount and thus my .mysql_history file is shared
between all these hosts. Often the command history gets weirdly munged, with
spaces converted to \040 -- the character sequence for the octal escape code
for ASCII space. Here's a little workaround/fix: