I have just discovered that MariaDB 10 uses a different format for .mysql_history and overwrites any existing .mysql_history. Fortunately, I had a backup of my exising .mysql_history to consult I keep it to remind me of complex SQL statements I have used). Any tips on using the new format?