# HG changeset patch # User Oleksandr Gavenko # Date 1534335591 -10800 # Node ID 37e3d058179400b9c5a3bf1c0614a9ba4ed540d1 # Parent 2509bce24bb8df1a7ded746f53f29cb1694aa0e8 Connecting to the MySQL Server. diff -r 2509bce24bb8 -r 37e3d0581794 mysql.rst --- 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 -----