diff options
Diffstat (limited to 'rpki-pbuilder.py')
| -rw-r--r-- | rpki-pbuilder.py | 5 |
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, |