diff options
author | rsiddharth <s@ricketyspace.net> | 2016-12-24 22:53:16 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-12-24 22:53:16 +0000 |
commit | 32b5035c36e67926b2eb790b6df4d337baa8dc17 (patch) | |
tree | 4b6c866ac0232d2901113bb31c2935df7db5d4d7 /gd_diff.py | |
parent | 78231eb914da59951d5cd494e9f23a54c8b179e1 (diff) |
Add function `get_args`
* gd_diff.py (get_args): New function.
* tests/tests_gd_diff.py (test_get_args_gd_diff_version)
(test_get_args): Tests for function `get_args`.
Diffstat (limited to 'gd_diff.py')
-rw-r--r-- | gd_diff.py | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -395,3 +395,13 @@ def write_wiki_page(release, content): wd_release = wiki_page_dir(release) wp_file = os.path.join(wd_release, 'last.rev') write_file(wp_file, content) + + +def get_args(): + parser = argparse.ArgumentParser() + parser.add_argument('--version', action='version', version=__version__) + parser.add_argument('release', help='gNewSense release name') + parser.add_argument('version', help='gNewSense version number', + type=int) + + return parser.parse_args() |