From 120be2b7a4293fa4faab53c2d61d05acb0f61279 Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Sat, 9 Apr 2016 18:06:35 +0000 Subject: Change default URL scheme to https://. svn path=/apt-tools/; revision=6357 --- rpki-pbuilder.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'rpki-pbuilder.py') 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, -- cgit v1.2.3