diff options
| author |   Mart Raudsepp <leio@gentoo.org> | 2017-11-01 01:09:58 +0200 |
|---|---|---|
| committer | Mart Raudsepp <leio@gentoo.org> | 2017-11-01 01:11:32 +0200 |
| commit | 94555e919be9640aea08ad096c25cddf3f67a6d0 (patch) | |
| tree | 412c47d2fb1b9ee10ddba5f0755ce6c842b6138c | |
| parent | gnome: Add a hackish way to force looking at Gentoo stable tree only (diff) | |
| download | gentoo-bumpchecker-94555e919be9640aea08ad096c25cddf3f67a6d0.tar.gz gentoo-bumpchecker-94555e919be9640aea08ad096c25cddf3f67a6d0.tar.bz2 gentoo-bumpchecker-94555e919be9640aea08ad096c25cddf3f67a6d0.zip | |
gnome: Put "Stable" in the titles when it's a stable tree report
| -rw-r--r-- | modules/gnome_output.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/gnome_output.py b/modules/gnome_output.py index 6f0f6be..d406d16 100644 --- a/modules/gnome_output.py +++ b/modules/gnome_output.py @@ -54,11 +54,11 @@ class Output: lines.append('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">') lines.append("<html>") lines.append('<head>') - lines.append('<title>Gnome ' + clioptions_module.Options().get_arguments().release_number + ' Progress</title>') + lines.append('<title>Gnome ' + clioptions_module.Options().get_arguments().release_number + (' Stable' if clioptions_module.Options().options.stable else '') + ' Progress</title>') lines.append('<link rel="stylesheet" type="text/css" href="default.css"></link>') lines.append('</head>') lines.append("<body>") - lines.append("<h2>Gnome " + clioptions_module.Options().get_arguments().release_number + " Progress</h2>") + lines.append("<h2>Gnome " + clioptions_module.Options().get_arguments().release_number + (' Stable' if clioptions_module.Options().options.stable else '') + " Progress</h2>") lines.append("contact " + os.environ["USER"] + "@gentoo.org if anything is not correct<br>") lines.append("Generated UTC date: " + current_time + "<br>") |