diff options
| author | Rob Austein <sra@hactrn.net> | 2016-04-09 18:06:35 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2016-04-09 18:06:35 +0000 |
| commit | 120be2b7a4293fa4faab53c2d61d05acb0f61279 (patch) | |
| tree | 913e6f1297e9d9fde0cdc821d978bf1be1befa5a /rpki-pbuilder.py | |
| parent | f19b0eb0e00de4d56d7a6d14fa4c739cdbbd6cde (diff) | |
Change default URL scheme to https://.
svn path=/apt-tools/; revision=6357
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, |