alex/esp-idf
1
0
Fork 0
mirror of https://github.com/espressif/esp-idf.git synced 2025-08-08 04:02:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'bugfix/gh_action_pass_IDF_PATH_to_pylint' into 'master'

Browse Source 
gh_action: fix python lint

Closes IDF-1538 and IDFGH-3341

See merge request espressif/esp-idf!8812
This commit is contained in:
Anton Maklakov
2020-05-21 10:15:35 +08:00
parent 7099c2b444 fef40fdb72
commit e1262aa68e
10 changed files with 34 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/conf_common.py
View File

@@ -211,11 +211,11 @@ project_homepage = "https://github.com/espressif/esp-idf"
# Redirects should be listed in page_redirects.xt
#
with open("../page_redirects.txt") as f:
lines = [re.sub(" +", " ", l.strip()) for l in f.readlines() if l.strip() != "" and not l.startswith("#")]
lines = [re.sub(" +", " ", line.strip()) for line in f.readlines() if line.strip() != "" and not line.startswith("#")]
for line in lines: # check for well-formed entries
if len(line.split(' ')) != 2:
raise RuntimeError("Invalid line in page_redirects.txt: %s" % line)
html_redirect_pages = [tuple(l.split(' ')) for l in lines]
html_redirect_pages = [tuple(line.split(' ')) for line in lines]
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.