15-03-2019

mkdocs_backup.yml

@@ -13,6 +13,7 @@ nav:
         - Archiver / compresser: Linux/archiver.md
         - apt-get: Raspberry/apt-get.md
         - aptitude: Raspberry/aptitude.md
+        - Chaines: Linux/string.md
         - Commandes sympas: Linux/commandes.md
         - Conditions: Linux/conditions.md
         - Editeurs:
@@ -22,6 +23,7 @@ nav:
         - Executer: Linux/executer.md
         - Filtres: Linux/filtres.md
         - find: Linux/find.md
+        - for: Linux/for.md
         - grep: Linux/grep.md
         - MàJ sans internet: Linux/maj.md
         - Permissions: Linux/permissions.md
@@ -62,9 +64,11 @@ nav:
             - Composer: macos/webserver/composer.md
             - erreurs: macos/webserver/errors_apache.md
             - mongodb: macos/webserver/mongodb.md 
-            - MySQL: macos/webserver/mysql.md
+            - MySQL (installation): macos/webserver/install_mysql.md
+            - MySQL (trucs): macos/webserver/mysql.md
             - PHP: macos/webserver/php.md
             - PHP 7.2: macos/webserver/php72.md
+            - PHP 7.3: macos/webserver/php73.md
             - Xhprof: macos/webserver/Xhprof.md 
         - you have mail: macos/youhavemail.md
         - Divers: macos/Divers.md
@@ -87,6 +91,7 @@ nav:
         - Backup: Raspberry/backup.md
         - Pi Desktop: Raspberry/pi-desktop.md
         - Réseau: Raspberry/reseau.md
+        - Tools: Raspberry/tools.md
         - Divers: Raspberry/divers.md
     - Synology:
         - Index: Synology/index.md
@@ -111,7 +116,11 @@ nav:
             - git: Divers/git/git.md
             - Session de travail avec git: Divers/git/git-session.md
         - go: Divers/go.md
+        - Markdown: Divers/markdown.md
         - Plex: Divers/plex.md
+        - Vagrant: 
+            - Installation: Divers/Vagrant/Vagrant.md
+            - Créer une Vagrant box: Divers/Vagrant/creer_une_vagrant_box.md
         - Vider le cache DNS: Divers/Vider_cache_DNS.md
         - wp-cli: 
             - Index: Divers/wp-cli/index.md
@@ -134,6 +143,7 @@ nav:
             - theme: Divers/wp-cli/wp_theme.md
             - user: Divers/wp-cli/wp_user.md
             - autres: Divers/wp-cli/autres.md
+            - OVH: Divers/wp-cli/ovh.md
     - MkDocs: mkdocs.md
 
 theme: