diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-02-07 11:44:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-07 11:44:06 +0100 |
commit | 2db5c5326bb1c7ed11321be4bfd64b201b74320a (patch) | |
tree | 48f06593b844a672048594cb9b9383432f1d4777 /doc/manual/src/_redirects | |
parent | 5f7f68e0a820ee4ca85820d4facaa50678f42052 (diff) |
fix location of `_redirects` file (#9956)
Diffstat (limited to 'doc/manual/src/_redirects')
-rw-r--r-- | doc/manual/src/_redirects | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/doc/manual/src/_redirects b/doc/manual/src/_redirects new file mode 100644 index 000000000..4ea289d86 --- /dev/null +++ b/doc/manual/src/_redirects @@ -0,0 +1,30 @@ +# redirect rules for paths (server-side) to prevent link rot. +# see ./redirects.js for redirects based on URL fragments (client-side) +# +# concrete user story this supports: +# - user finds URL to the manual for Nix x.y +# - Nix x.z (z > y) is the most recent release +# - updating the version in the URL will show the right thing +# +# format documentation: +# - https://docs.netlify.com/routing/redirects/#syntax-for-the-redirects-file +# - https://docs.netlify.com/routing/redirects/redirect-options/ +# +# conventions: +# - always force (<CODE>!) since this allows re-using file names +# - group related paths to ease readability +# - always append new redirects to the end of the file +# - redirects that should have been there but are missing can be inserted where they belong + +/expressions/expression-language /language/ 301! +/expressions/language-values /language/values 301! +/expressions/language-constructs /language/constructs 301! +/expressions/language-operators /language/operators 301! +/expressions/* /language/:splat 301! + +/package-management/basic-package-mgmt /command-ref/nix-env 301! + +/package-management/channels* /command-ref/nix-channel 301! + +/package-management/s3-substituter* /command-ref/new-cli/nix3-help-stores#s3-binary-cache-store 301! + |