diff options
| author | Julian Andres Klode <jak@debian.org> | 2023-05-24 13:16:41 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2023-05-24 13:16:41 +0000 |
| commit | 94a3f2abc3b39095c3539ef350dc4627bd7e576c (patch) | |
| tree | f27ac33685b8bb0d73debfcfa505f8ac0a59f38d /doc | |
| parent | 9da15d149f97e0f26cf5b7e32405512a5e63523c (diff) | |
| parent | 4000ee2f9064623e096d975489aec35c99982437 (diff) | |
Merge branch 'pu/snapshot-seed' into 'main'
Seed snapshot servers for well-known hosts
See merge request apt-team/apt!293
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/examples/configure-index | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index e6d7c31ea..d220a814f 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -403,6 +403,7 @@ Acquire }; Snapshots::URI { + Host::* "<STRING>"; // Origin::Debian "https://snapshot.debian.org/snapshot/@SNAPSHOTID@/"; Origin::* "<STRING>"; Label::* "<STRING>"; |