diff options
-rw-r--r-- | it/using-d-i/modules/apt-setup.xml | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/it/using-d-i/modules/apt-setup.xml b/it/using-d-i/modules/apt-setup.xml index 93c13f3c5..e8463fcd0 100644 --- a/it/using-d-i/modules/apt-setup.xml +++ b/it/using-d-i/modules/apt-setup.xml @@ -1,5 +1,6 @@ <!-- retain these comments for translator revision tracking --> -<!-- original version: 68102 --> +<!-- original version: 68538 --> +<!-- original version: 68538 --> <sect3 id="apt-setup"> <!-- <title>Configuring apt</title> --> @@ -392,6 +393,23 @@ processo di installazione. La voce preselezionate è solitamente corretta. </para><para> <!-- +A mirror can also be specified by hand by choosing <quote>enter information +manually</quote> . You can then specify a mirror host name and an optional +port number. As of Wheezy, that actually has to be a URL base, i.e. when +specifying an IPv6 address, one has to add square brackets around it, for +instance <quote>[2001:db8::1]</quote>. +--> + +È possibile anche specificare manualmente un mirror scegliendo +<quote>inserire le informazioni manualmente</quote>. Sarà richiesto di +specificare il nome host del mirror e opzionalmente il numero della +porta. Da Wheezy, deve essere un URL di base quindi è possibile +specificare un indirizzo IPv6, quello che deve essere racchiuso tra +parentesi quadre, per esempio <quote>[2001:db8::1]</quote>. + +</para><para> + +<!-- If your computer is on an IPv6-only network (which is probably not the case for the vast majority of users), using the default mirror for your country might not work. All the mirrors in the list are reachable via IPv4, but |