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.orgAnd, 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"?