[debian-mysql] Bug#846653: mention how to read the history file, .mysql_history

[積丹尼 Dan Jacobson]

Package: mysql-client-core-5.7
Version: 5.7.16-1
Severity: wishlist
File: /usr/share/man/man1/mysql.1.gz

On the man page please mention how to casually peruse the history file, .mysql_history.

One needs a tool, else one faces octal.

# ascii2uni -a K .mysql_history|diff -U0 .mysql_history -|tail
97 tokens converted
-show\040databases
+show databases
@@ -49 +49 @@
-SELECT\040*\040FROM\040mysql.user;
+SELECT * FROM mysql.user;
@@ -51,2 +51,2 @@
-\134h
-help\040select
+\h
+help select