diff options
| -rw-r--r-- | fr/appendix/preseed.xml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/fr/appendix/preseed.xml b/fr/appendix/preseed.xml index b9b9dcae3..8553a52d9 100644 --- a/fr/appendix/preseed.xml +++ b/fr/appendix/preseed.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="ISO-8859-1"?> -<!-- original version: 35836 --> +<!-- original version: 35982 --> <!-- Be carefull with the format of this file as it is parsed to generate @@ -721,7 +721,7 @@ d-i time/zone string US/Eastern La création du fichier <filename>/etc/apt/sources.list</filename> et les principales options de configuration se font automatiquement à partir de la méthode d'installation choisie et des réponses aux précédentes questions. -Seules les trois variables suivantes relèvent de la préconfiguration. +Vous pouvez aussi ajouter d'autres sources (locales par exemple). </para> <informalexample role="example"><screen> @@ -731,6 +731,13 @@ Seules les trois variables suivantes relèvent de la préconfiguration. #Décommentez cette ligne pour éviter d'ajouter des sources sécurisées #ou pour utiliser un autre serveur que security.debian.org. #d-i apt-setup/security_host string + +# Autres sources disponibles, local[0-9] +#d-i apt-setup/local0/comment string local server +#d-i apt-setup/local0/repository string \ +# deb http://local.server/debian stable main +# URL de la clé publique de la source locale +#d-i apt-setup/local0/key string http://local.server/key </screen></informalexample> </sect2> |