diff options
| author | Julian Andres Klode <jak@debian.org> | 2018-01-18 14:24:48 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2018-01-18 14:24:48 +0000 |
| commit | 697b6cc80057b08534fb2e7ea6c913aae34cceb9 (patch) | |
| tree | 62b7a69010923a7cd3bd43615642f53baa11819b /doc/sources.list.5.xml | |
| parent | 8aae95a7f87a50d1eeb3c4720556a117ec1f59d9 (diff) | |
| parent | 698f9e3f9877be2aa181d6e40d3dc5c41ea318b7 (diff) | |
Merge branch 'inrelease-path' into 'master'
Introduce inrelease-path option for sources.list
See merge request apt-team/apt!2
Diffstat (limited to 'doc/sources.list.5.xml')
| -rw-r--r-- | doc/sources.list.5.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/sources.list.5.xml b/doc/sources.list.5.xml index bfad35aa7..b19808636 100644 --- a/doc/sources.list.5.xml +++ b/doc/sources.list.5.xml @@ -343,6 +343,15 @@ deb-src [ option1=value1 option2=value2 ] uri suite [component1] [component2] [. default. </para></listitem> + <listitem><para><option>InRelease-Path</option> (<option>inrelease-path</option>) + determines the path to the InRelease file, relative + to the normal position of an <filename>InRelease</filename> file. + By default, this option is unset and APT will try to fetch an <filename>InRelease</filename> + or, if that fails, a <filename>Release</filename> file and its associated <filename>Release.gpg</filename> file. By setting this option, + the specified path will be tried instead of the InRelease file, + and the fallback to <filename>Release</filename> files will be disabled. + </para></listitem> + </itemizedlist> </para> |