mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-19 17:21:59 +03:00
41 lines
1.1 KiB
YAML
41 lines
1.1 KiB
YAML
---
|
|
###########################
|
|
###########################
|
|
## Markdown Linter rules ##
|
|
###########################
|
|
###########################
|
|
|
|
# Linter rules doc:
|
|
# - https://github.com/DavidAnson/markdownlint
|
|
#
|
|
# Note:
|
|
# To comment out a single error:
|
|
# <!-- markdownlint-disable -->
|
|
# any violations you want
|
|
# <!-- markdownlint-restore -->
|
|
#
|
|
|
|
###############
|
|
# Rules by id #
|
|
###############
|
|
MD001: false
|
|
MD003: false
|
|
MD004: false # Unordered list style
|
|
MD007:
|
|
indent: 2 # Unordered list indentation
|
|
MD013:
|
|
line_length: 400 # Line length 80 is far to short
|
|
MD024:
|
|
siblings_only: true # allow duplicate headings in CHANGELOG
|
|
MD026:
|
|
punctuation: ".,;:。，；:" # List of not allowed
|
|
MD029: false # Ordered list item prefix
|
|
MD033: false # Allow inline HTML
|
|
MD036: false # Emphasis used instead of a heading
|
|
MD046: false # Idented code block instead of fenced off
|
|
|
|
#################
|
|
# Rules by tags #
|
|
#################
|
|
blank_lines: false # Error on blank lines
|