diff options
author | rsiddharth <s@ricketyspace.net> | 2017-01-06 01:09:06 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2017-01-06 01:09:06 +0000 |
commit | e46931f435cf00f1d70a6a6ccb755b92b7eff441 (patch) | |
tree | 872f84f81748b8ba42d91aa266245830a5b5d0cf /gd_diff.py | |
parent | f61cc88f69509c0d448d4c45960fb17d137b21e1 (diff) |
Add `wiki_page_path` function.
* gd_diff.py (wiki_page_path): New function.
(write_wiki_page): Update function; use `wiki_page_path` function.
* tests/test_gd_diff.py (TestGdDiff.test_wiki_page_path): Test for
`wiki_page_path`.
(test_write_wiki_page): Update test.
Diffstat (limited to 'gd_diff.py')
-rw-r--r-- | gd_diff.py | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -212,6 +212,14 @@ def wiki_page_dir(release): return wd_release +def wiki_page_path(release): + """Returns the path to file that contains wiki page for `release`. + + """ + wd_release = wiki_page_dir(release) + return os.path.join(wd_release, 'wiki.page') + + def configured_p(): """Returns True if gns-deb-diff is configured; False otherwise. """ @@ -398,8 +406,7 @@ def write_wiki_page(release, content): """Write wiki page `content` to `release`' last.rev file. """ - wd_release = wiki_page_dir(release) - wp_file = os.path.join(wd_release, 'last.rev') + wp_file = wiki_page_path(release) write_file(wp_file, content) |