MIRRORS/yocto-autobuilder-helper
1
0
Fork 0
mirror of git://git.yoctoproject.org/yocto-autobuilder-helper.git synced 2025-07-19 12:49:02 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

scripts/docs_add_banner: Fix several issues

Browse Source 
* Fix a syntax error causing the script to fail
* Skip symlinks files (symlink directories were already skipped)
* Drop unneeded whitespace
* Abstract path join to a variable

Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
This commit is contained in:
Richard Purdie 2022-06-03 10:49:41 +01:00
parent 5dd90ea43b
commit 9d7820da27
1 changed files with 16 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
scripts/docs_add_banner.py
View File

@ -9,13 +9,8 @@
#
#
import os
html_content_dunfell = '''
<div id="outdated-warning">This document is outdated, you should select the <a href="https://docs.yoctoproject.org/dunfell">latest release version</a> in this series.</div>
<div xml:lang="en" class="body" lang="en">
@ -32,7 +27,7 @@ last_div = '''
'''
css_replacement_content = '''
font-family: Verdana, Sans, sans-serif;
width: 100%;
@ -41,7 +36,7 @@ css_replacement_content = '''
color: #333;
overflow-x: hidden;
}
.body{
margin: 0 auto;
min-width: 640px;
@ -49,9 +44,9 @@ padding: 0 5em 5em 5em;
}
#outdated-warning{
text-align: center;
background-color: rgb(255, 186, 186);
color: rgb(106, 14, 14);
padding: 0.5em 0;
background-color: rgb(255, 186, 186);
color: rgb(106, 14, 14);
padding: 0.5em 0;
width: 100%;
position: fixed;
top: 0;
@ -62,22 +57,25 @@ top: 0;
def add_banner_old_docs(dir):
for root, dirs, filenames in os.walk(dir):
if root.startswith('./3.1'):
html_replacement = html_content_dunfell
else:
html_replacement = html_content
for filename in filenames:
fullfile = os.path.join(root, filename)
if os.path.islink(fullfile):
continue
if filename.endswith('.html'):
with open(os.path.join(root, filename), 'r', encoding="ISO-8859-1") as f:
with open(fullfile, 'r', encoding="ISO-8859-1") as f:
current_content = f.read()
with open(os.path.join(root, filename), 'w', encoding="ISO-8859-1") as f:
f.write(current_content.replace('<body>', '<body>' + html_replacement)).replace('</body>', last_div + '</body>'))
if filename.endswith('.css'):
with open(os.path.join(root, filename), 'r', encoding="ISO-8859-1") as f:
with open(fullfile, 'w', encoding="ISO-8859-1") as f:
f.write(current_content.replace('<body>', '<body>' + html_replacement).replace('</body>', last_div + '</body>'))
elif filename.endswith('.css'):
with open(fullfile, 'r', encoding="ISO-8859-1") as f:
css_content = f.read()
with open(os.path.join(root, filename), 'w', encoding="ISO-8859-1") as f:
with open(fullfile, 'w', encoding="ISO-8859-1") as f:
f.write(css_content.replace(css_content[css_content.find('body {'):css_content.find('}'[0])], 'body {' + css_replacement_content ))
add_banner_old_docs('.')