From 851cbf225d05c126591dc389cc6a6ba45fe434b3 Mon Sep 17 00:00:00 2001 From: Roxedus Date: Tue, 17 Oct 2023 21:50:06 +0200 Subject: [PATCH] Linting --- .editorconfig | 12 ++++++++++++ .markdownlint.yaml | 3 +++ mkdocs.yml | 3 +++ 3 files changed, 18 insertions(+) create mode 100644 .editorconfig create mode 100644 .markdownlint.yaml diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000000..b20bae6062 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,12 @@ +root = true + +# Unix-style newlines with a newline ending every file +[*] +end_of_line = lf +insert_final_newline = true +# trim_trailing_whitespace may cause unintended issues and should not be globally set true +trim_trailing_whitespace = false + +[**.yml] +indent_style = space +indent_size = 4 diff --git a/.markdownlint.yaml b/.markdownlint.yaml new file mode 100644 index 0000000000..71ac1a9827 --- /dev/null +++ b/.markdownlint.yaml @@ -0,0 +1,3 @@ +MD007: + indent: 4 +line-length: false \ No newline at end of file diff --git a/mkdocs.yml b/mkdocs.yml index a20ea6c4b7..edbb935b94 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -86,3 +86,6 @@ plugins: - minify: minify_html: true - search + - redirects: + redirect_maps: + 'faq.md': 'FAQ.md' \ No newline at end of file