1 |
commit: 94555e919be9640aea08ad096c25cddf3f67a6d0 |
2 |
Author: Mart Raudsepp <leio <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Oct 31 23:09:58 2017 +0000 |
4 |
Commit: Mart Raudsepp <leio <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Oct 31 23:11:32 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/gentoo-bumpchecker.git/commit/?id=94555e91 |
7 |
|
8 |
gnome: Put "Stable" in the titles when it's a stable tree report |
9 |
|
10 |
modules/gnome_output.py | 4 ++-- |
11 |
1 file changed, 2 insertions(+), 2 deletions(-) |
12 |
|
13 |
diff --git a/modules/gnome_output.py b/modules/gnome_output.py |
14 |
index 6f0f6be..d406d16 100644 |
15 |
--- a/modules/gnome_output.py |
16 |
+++ b/modules/gnome_output.py |
17 |
@@ -54,11 +54,11 @@ class Output: |
18 |
lines.append('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">') |
19 |
lines.append("<html>") |
20 |
lines.append('<head>') |
21 |
- lines.append('<title>Gnome ' + clioptions_module.Options().get_arguments().release_number + ' Progress</title>') |
22 |
+ lines.append('<title>Gnome ' + clioptions_module.Options().get_arguments().release_number + (' Stable' if clioptions_module.Options().options.stable else '') + ' Progress</title>') |
23 |
lines.append('<link rel="stylesheet" type="text/css" href="default.css"></link>') |
24 |
lines.append('</head>') |
25 |
lines.append("<body>") |
26 |
- lines.append("<h2>Gnome " + clioptions_module.Options().get_arguments().release_number + " Progress</h2>") |
27 |
+ lines.append("<h2>Gnome " + clioptions_module.Options().get_arguments().release_number + (' Stable' if clioptions_module.Options().options.stable else '') + " Progress</h2>") |
28 |
lines.append("contact " + os.environ["USER"] + "@gentoo.org if anything is not correct<br>") |
29 |
lines.append("Generated UTC date: " + current_time + "<br>") |