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

gh_action: fix python lint

Browse Source
This commit is contained in:
morris
2020-05-19 19:54:14 +08:00
parent ed05dd7713
commit d003f96a9d
8 changed files with 26 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/conf_common.py
View File

@@ -207,11 +207,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.