Connecting to the MySQL Server.
--- a/mysql.rst Wed Aug 15 15:18:00 2018 +0300
+++ b/mysql.rst Wed Aug 15 15:19:51 2018 +0300
@@ -30,10 +30,16 @@
$ mysql --host=$HOST --user=$USER --password=$PASS
$ mysql --host=$HOST --user=$USER --password=$PASS $DATABASE
+ $ mysql --host=$HOST --port=$PORT --user=$USER --password=$PASS $DATABASE
+ $ mysql --host=$HOST --port=$PORT --protocol=TCP --user=$USER --password=$PASS $DATABASE
+
To save content of session interaction in ``mysql`` use::
mysql> tee out.txt
+https://dev.mysql.com/doc/refman/8.0/en/connecting.html
+ Connecting to the MySQL Server.
+
mycli
-----