diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.sh | 4 | ||||
| -rwxr-xr-x | bin/reproducible_html_breakages.py | 2 | ||||
| -rwxr-xr-x | bin/reproducible_html_notes.py | 2 | ||||
| -rwxr-xr-x | bin/reproducible_html_packages.py | 2 | ||||
| -rwxr-xr-x | bin/reproducible_remote_scheduler.py | 2 |
5 files changed, 6 insertions, 6 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 1ce8aec6..b5478d25 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -157,7 +157,7 @@ write_icon() { write_page_header() { # this is really quite uncomprehensible and should be killed - # the solution is to write all html pages with python… + # the solution is to write all HTML pages with python… rm -f $PAGE MAINVIEW="dashboard" write_page "<!DOCTYPE html><html><head>" @@ -513,7 +513,7 @@ gen_package_html() { cd /srv/jenkins/bin python3 -c "import reproducible_html_packages as rep pkg = rep.Package('$1', no_notes=True) -rep.gen_packages_html([pkg], no_clean=True)" || echo "Warning: cannot update html pages for $1" +rep.gen_packages_html([pkg], no_clean=True)" || echo "Warning: cannot update HTML pages for $1" cd - > /dev/null } diff --git a/bin/reproducible_html_breakages.py b/bin/reproducible_html_breakages.py index 0655923b..7ca883ae 100755 --- a/bin/reproducible_html_breakages.py +++ b/bin/reproducible_html_breakages.py @@ -39,7 +39,7 @@ def unrep_with_dbd_issues(): bad_dbd.append((pkg, version, suite, arch)) log.warning(suite + '/' + arch + '/' + pkg + ' (' + version + ') has ' 'diffoscope output, but it does not seem to ' - 'be an html page.') + 'be an HTML page.') if pkg not in sources_without_dbd: sources_without_dbd.append(pkg) return without_dbd, bad_dbd, sources_without_dbd diff --git a/bin/reproducible_html_notes.py b/bin/reproducible_html_notes.py index 953e5a8a..01b73abf 100755 --- a/bin/reproducible_html_notes.py +++ b/bin/reproducible_html_notes.py @@ -8,7 +8,7 @@ # # Depends: python3 python3-yaml # -# Build html pages based on the content of the notes.git repository +# Build HTML pages based on the content of the notes.git repository import copy import yaml diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index d5047848..832bb2df 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -322,7 +322,7 @@ def gen_history_page(package, arch=None): def gen_packages_html(packages, no_clean=False): """ - generate the /rb-pkg/package.html pages. + generate the /rb-pkg/package.HTML pages. packages should be a list of Package objects. """ total = len(packages) diff --git a/bin/reproducible_remote_scheduler.py b/bin/reproducible_remote_scheduler.py index 47c345c4..cd1eaad6 100755 --- a/bin/reproducible_remote_scheduler.py +++ b/bin/reproducible_remote_scheduler.py @@ -298,4 +298,4 @@ if not (local and requester == "jenkins maintenance job") and len(ids) != 0: if not dry_run: irc_msg(message) -generate_schedule(arch) # update the html page +generate_schedule(arch) # update the HTML page |