mysql.rst
changeset 1849 a3b639d803e7
parent 1836 4864231db031
child 1850 84707c692266
--- a/mysql.rst	Mon Dec 28 13:52:38 2015 +0200
+++ b/mysql.rst	Tue Dec 29 22:38:28 2015 +0200
@@ -56,6 +56,13 @@
 
   MariaDB [mysql]> SHOW GRANTS;
 
+System information.
+===================
+
+Server version, platform, etc::
+
+  [mysql]> SHOW VARIABLES LIKE "%version%";
+
 Debugging.
 ==========