1 |
commit: ecf8787be751a013cc15ab1b77d58ed7655c1f02 |
2 |
Author: Brian Dolbec <dolsen <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Oct 20 05:19:47 2013 +0000 |
4 |
Commit: Brian Dolbec <brian.dolbec <AT> gmail <DOT> com> |
5 |
CommitDate: Sun Oct 20 05:19:47 2013 +0000 |
6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/mirrorselect.git;a=commit;h=ecf8787b |
7 |
|
8 |
Add a proxy option to the cli. Preliminary only, not tested. |
9 |
|
10 |
--- |
11 |
mirrorselect/main.py | 6 ++++++ |
12 |
1 file changed, 6 insertions(+) |
13 |
|
14 |
diff --git a/mirrorselect/main.py b/mirrorselect/main.py |
15 |
index 5838b79..4c26c02 100755 |
16 |
--- a/mirrorselect/main.py |
17 |
+++ b/mirrorselect/main.py |
18 |
@@ -240,6 +240,12 @@ class MirrorSelect(object): |
19 |
default='bdf077b2e683c506bf9e8f2494eeb044', |
20 |
help="An alternate file md5sum value used to compare the downloaded " |
21 |
"file against for deep testing.") |
22 |
+ group.add_option( |
23 |
+ "-P", "--proxy", action="store", |
24 |
+ default=None, |
25 |
+ help="Proxy server to use if not the default proxy " |
26 |
+ "in the environment") |
27 |
+ |
28 |
|
29 |
|
30 |
if len(argv) == 1: |