Переглянути джерело

Create a error message generator

pull/3011/head
Matheus Felipe 2 роки тому
джерело
коміт
2501df6b93
Не вдалося знайти GPG ключ що відповідає даному підпису Ідентифікатор GPG ключа: AA785C523274872F
1 змінених файлів з 5 додано та 0 видалено
  1. +5
    -0
      scripts/validate/format.py

+ 5
- 0
scripts/validate/format.py Переглянути файл

@@ -23,3 +23,8 @@ title_links = []
anchor_re = re.compile(anchor + '\s(.+)')
section_title_re = re.compile('\*\s\[(.*)\]')
link_re = re.compile('\[(.+)\]\((http.*)\)')


def error_message(line_number: int, message: str) -> str:
line = line_number + 1
return f'(L{line:03d}) {message}'

Завантаження…
Відмінити
Зберегти