diff options
author | Brian Dolbec <dolsen@gentoo.org> | 2013-10-19 22:19:47 -0700 |
---|---|---|
committer | Brian Dolbec <dolsen@gentoo.org> | 2013-10-19 22:19:47 -0700 |
commit | ecf8787be751a013cc15ab1b77d58ed7655c1f02 (patch) | |
tree | b6c97942675ef8abeaada652ac8fcb02f14e5649 | |
parent | wrap a long line. (diff) | |
download | mirrorselect-ecf8787be751a013cc15ab1b77d58ed7655c1f02.tar.gz mirrorselect-ecf8787be751a013cc15ab1b77d58ed7655c1f02.tar.bz2 mirrorselect-ecf8787be751a013cc15ab1b77d58ed7655c1f02.zip |
Add a proxy option to the cli. Preliminary only, not tested.
-rwxr-xr-x | mirrorselect/main.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mirrorselect/main.py b/mirrorselect/main.py index 5838b79..4c26c02 100755 --- a/mirrorselect/main.py +++ b/mirrorselect/main.py @@ -240,6 +240,12 @@ class MirrorSelect(object): default='bdf077b2e683c506bf9e8f2494eeb044', help="An alternate file md5sum value used to compare the downloaded " "file against for deep testing.") + group.add_option( + "-P", "--proxy", action="store", + default=None, + help="Proxy server to use if not the default proxy " + "in the environment") + if len(argv) == 1: |