new awk diff

This commit is contained in:
kyodev 2018-03-21 03:41:51 +01:00
parent 4176ea51de
commit 17771736ff
1 changed files with 15 additions and 3 deletions

View File

@ -43,7 +43,6 @@ pages:
- preseed stretch: live-build/preseed-stretch.md
- apprentissage: live-build/live-build-apprentissage.md
- liens: live-build/liens.md
- scripts: scripts_index.md
- script:
- scripts/getFlashPlayer.md
- scripts/getFirefox.md
@ -65,6 +64,7 @@ pages:
- trucs:
- console:
- commandes shell: trucs/console/commandes_shell.md
- différents awk: trucs/awk_differences.md
- kernel:
- kernel nomodeset: trucs/kernel/kernel-nomodeset.md
- kernel boot options: trucs/kernel/kernel-boot-options.md
@ -93,13 +93,25 @@ pages:
markdown_extensions:
- markdown.extensions.extra
# maj version 0.17.3, theme_dir déprécié
# theme: mkdocs
# theme_dir: theme/mkdocs
# maj version 0.17, theme_dir déprécié
theme:
# name: readthedocs
name: mkdocs
custom_dir: theme/mkdocs
# custom_dir: theme/mkdocs
#theme: readthedocs
#theme: material
#theme: psinder https://github.com/michaeltlombardi/mkdocs-psinder
#theme: Bootstrap https://github.com/mkdocs/mkdocs-bootstrap
#https://github.com/iamale/mkdocs-alabaster
# plugin search par défaut si rien de spécifié
# spécifier:
#plugins:
# - search
# disable all plugins
#plugins: []