aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2016-04-09 18:06:35 +0000
committerRob Austein <sra@hactrn.net>2016-04-09 18:06:35 +0000
commit120be2b7a4293fa4faab53c2d61d05acb0f61279 (patch)
tree913e6f1297e9d9fde0cdc821d978bf1be1befa5a
parentf19b0eb0e00de4d56d7a6d14fa4c739cdbbd6cde (diff)
Change default URL scheme to https://.
svn path=/apt-tools/; revision=6357
-rw-r--r--rpki-pbuilder.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/rpki-pbuilder.py b/rpki-pbuilder.py
index 3af0e11..6bb0a49 100644
--- a/rpki-pbuilder.py
+++ b/rpki-pbuilder.py
@@ -55,6 +55,8 @@ parser.add_argument("--apt-user", default = "aptbot",
help = "username for uploading apt repository to public web server")
parser.add_argument("--url-host", default = "download.rpki.net",
help = "hostname of public web server")
+parser.add_argument("--url-scheme", default = "https",
+ help = "URL scheme of public web server")
parser.add_argument("--url-path", default = "/APT",
help = "path of apt repository on public web server")
parser.add_argument("--backports", nargs = "+", default = ["python-django", "python-tornado"],
@@ -133,7 +135,8 @@ class Release(object):
def __init__(self, distribution_release, backports):
self.distribution, self.release = distribution_release.split("/")
self.backports = backports
- self.apt_source = "http://{host}/{path}/{distribution} {release} main".format(
+ self.apt_source = "{scheme}://{host}/{path}/{distribution} {release} main".format(
+ scheme = args.url_scheme,
host = args.url_host,
path = args.url_path.strip("/"),
distribution = self.distribution,