diff options
| author | Frans Pop <elendil@planet.nl> | 2006-03-28 16:14:01 +0000 |
|---|---|---|
| committer | Frans Pop <elendil@planet.nl> | 2006-03-28 16:14:01 +0000 |
| commit | c95868f0f3aa155ed98ff30e9f9d1f4cbc105b55 (patch) | |
| tree | 105fc0995d35d15cd84216c4d23ee3715d7a1f8f /en | |
| parent | 743e07bd0fec7f9b4e3e4c5f187b65e1d3a264ff (diff) | |
| download | installation-guide-c95868f0f3aa155ed98ff30e9f9d1f4cbc105b55.zip | |
Document new option to preseed additional apt sources for target system
Diffstat (limited to 'en')
| -rw-r--r-- | en/appendix/preseed.xml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/en/appendix/preseed.xml b/en/appendix/preseed.xml index 0df5e6f2d..56783ec46 100644 --- a/en/appendix/preseed.xml +++ b/en/appendix/preseed.xml @@ -713,7 +713,7 @@ d-i time/zone string US/Eastern Setup of the <filename>/etc/apt/sources.list</filename> and basic configuration options is fully automated based on your installation method and answers to -earlier questions. Only the three variables below are relevant for preseeding. +earlier questions. You can optionally add other (local) repositories. </para> @@ -723,7 +723,14 @@ earlier questions. Only the three variables below are relevant for preseeding. #d-i apt-setup/contrib boolean true # Uncomment this to avoid adding security sources, or # add a hostname to use a different server than security.debian.org. -#d-i apt-setup/security_host string +#d-i apt-setup/security_host string + +# Additional repositories, local[0-9] available +#d-i apt-setup/local0/comment string local server +#d-i apt-setup/local0/repository string \ +# deb http://local.server/debian stable main +# URL to the public key of the localrepository +#d-i apt-setup/local0/key string http://local.server/key </screen></informalexample> </sect2> |