diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-05-19 16:07:43 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2025-05-19 16:07:43 +0000 |
| commit | 4304e6a3899d18e99f57f304141d689f18694210 (patch) | |
| tree | 9cffdbc47c221c546a4353d3073ce840a9c0197b | |
| parent | c3c49939b75a05e0e4a8cc52ec807b4756ea2d5c (diff) | |
| parent | 8576438367416c87f38effe960d143d94ebac851 (diff) | |
Merge branch 'sources-precedence' into 'main'
sources.list(5): Explicitly say what the precedence order is
See merge request apt-team/apt!417
| -rw-r--r-- | doc/sources.list.5.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/sources.list.5.xml b/doc/sources.list.5.xml index 63bede827..c55cdbd1c 100644 --- a/doc/sources.list.5.xml +++ b/doc/sources.list.5.xml @@ -41,6 +41,20 @@ configured sources is acquired by <command>apt-get update</command> (or by an equivalent command from another APT front-end). </para> + <para> + If multiple source lists are used, + the most-preferred sources are those listed in + <filename>/etc/apt/sources.list</filename>, + followed by each file in + <filename>/etc/apt/sources.list.d/</filename> + in lexicographic order: + for example, + <filename>00-high-preference.list</filename> + is more-preferred than + <filename>50-middle-preference.sources</filename> + which is more-preferred than + <filename>z-low-preference.list</filename>. + </para> </refsect1> <refsect1><title>sources.list.d</title> |