On 2016-07-19 00:39, Christian PERRIER wrote:
From the fine documentation[1]:
# Select which update services to use; define the mirrors to be used.
# Values shown below are the normal defaults.
#d-i apt-setup/services-select multiselect security, updates
#d-i apt-setup/security_host string security.debian.org
And, so, there is no bug as the "get security updates" feature can be
disabled (it can be disabled too, manually, at expert level)
Didn't see this message/attachment when I sent my last message.
When choosing the "manual" configuration option for the mirror, would it
be possible to add a checkbox below the text field that says "Use this
mirror instead of security.debian.org"?