From f27205f743fcfd05126f5fa7cc83eefea7873f1f Mon Sep 17 00:00:00 2001 From: Valentin Gagarin Date: Tue, 13 Feb 2024 16:25:07 +0100 Subject: [PATCH] redirect local and chroot store to main page --- doc/manual/redirects.js | 6 +++++- doc/manual/src/glossary.md | 11 +---------- 2 files changed, 6 insertions(+), 11 deletions(-) diff --git a/doc/manual/redirects.js b/doc/manual/redirects.js index d04f32b49..e25b17c76 100644 --- a/doc/manual/redirects.js +++ b/doc/manual/redirects.js @@ -358,7 +358,11 @@ const redirects = { "one-time-setup": "testing.html#one-time-setup", "using-the-ci-generated-installer-for-manual-testing": "testing.html#using-the-ci-generated-installer-for-manual-testing", "characterization-testing": "#characterisation-testing-unit", - } + }, + "glossary.html": { + "gloss-local-store": "store/types/local-store.html", + "gloss-chroot-store": "store/types/local-store.html", + }, }; // the following code matches the current page's URL against the set of redirects. diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md index 6126b7e47..d257a8189 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -66,16 +66,6 @@ [store]: #gloss-store -- [local store]{#gloss-local-store} - - See [Local Store](@docroot@/command-ref/new-cli/nix3-help-stores.md#local-store) for details. - - [local store]: #gloss-local-store - -- [chroot store]{#gloss-chroot-store} - - A [local store] whose canonical path is anything other than `/nix/store`. - - [binary cache]{#gloss-binary-cache} A *binary cache* is a Nix store which uses a different format: its @@ -242,6 +232,7 @@ - All paths in the store path's [closure] are valid. [validity]: #gloss-validity + [local store]: @docroot@/store/types/local-store.md - [user environment]{#gloss-user-env}