minor for dokku and mysql guides

docs/divers/devops/dokku.md

@@ -28,9 +28,12 @@ When asked, you can accept web page front end installation.
 
 ### Configure your host
 
+#### Using a regular host on the web
+
 If you are using a domain provider, make sure to create an A record in your DNS table,
 pointing to your server's Ip.
 
+#### Using localhost
 If you are deploying dokker on your local machine (for testing purpose), you will need to modify `/etc/hosts` AND use `dnsmasq` ( Replace `<dokku.local>` by the domain name of your choice).  
 
 1. modify first line of `/etc/hosts` :   

docs/divers/server/mysql.md

@@ -77,22 +77,19 @@ See also, for more advanced features):
     
 See: [How to convert a MySQL database to UTF-8 encoding](https://www.a2hosting.es/kb/developer-corner/mysql/convert-mysql-database-utf-8)
 
-## Leaving the MySQL prompt:
-
-    quit
-    
 ## Checking the MySQL version:
 
     SELECT @@version;
-    
+
+## Leaving the MySQL prompt:
+
+    quit
+        
 ## Stopping/starting/restarting the service:
 
-[See](https://coolestguidesontheplanet.com/start-stop-mysql-from-the-command-line-terminal-osx-linux/)
-
-## Upgrading MySQL:
-
-- [5.5 to 5.7](https://pupungbp.com/upgrading-mysql-55-to-57-in-debian/)
-- [5.7](https://dev.mysql.com/doc/refman/5.7/en/upgrading.html)
+    sudo systemctl stop mysql
+    sudo service mysql stop
+    sudo /etc/init.d/mysqld stop
 
 ## Courses and tutorials in French: