diff options
| author | onefang | 2021-12-17 14:58:46 +1000 |
|---|---|---|
| committer | onefang | 2021-12-17 14:58:46 +1000 |
| commit | fe8fc1dee06b74217d5a025707720553dd2a2368 (patch) | |
| tree | 49155795c20ec1ba6f3656bb75c1aee60b5652bc /apt-panopticommon.lua | |
| parent | Don't crash if a DNS-RR mirror fails to resolve. (diff) | |
| download | apt-panopticon-fe8fc1dee06b74217d5a025707720553dd2a2368.zip apt-panopticon-fe8fc1dee06b74217d5a025707720553dd2a2368.tar.gz apt-panopticon-fe8fc1dee06b74217d5a025707720553dd2a2368.tar.bz2 apt-panopticon-fe8fc1dee06b74217d5a025707720553dd2a2368.tar.xz | |
Don't hard code deb.roundr.devuan.org all over the place, and check the results.
Coz it got changed to deb.rr.devuan.org.
Diffstat (limited to 'apt-panopticommon.lua')
| -rw-r--r-- | apt-panopticommon.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/apt-panopticommon.lua b/apt-panopticommon.lua index f2a7fee..3e2dc08 100644 --- a/apt-panopticommon.lua +++ b/apt-panopticommon.lua | |||
| @@ -53,6 +53,12 @@ APT.options = | |||
| 53 | help = "The round robin DNS name.", | 53 | help = "The round robin DNS name.", |
| 54 | value = "deb.devuan.org", | 54 | value = "deb.devuan.org", |
| 55 | }, | 55 | }, |
| 56 | roundRobinCname = | ||
| 57 | { | ||
| 58 | typ = "string", | ||
| 59 | help = "The round robin DNS name.", | ||
| 60 | value = "deb.rr.devuan.org", | ||
| 61 | }, | ||
| 56 | tests = | 62 | tests = |
| 57 | { | 63 | { |
| 58 | typ = "table", | 64 | typ = "table", |