From 6f8d039c1b678ec4ffee345d0889916c090c6821 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sun, 29 Nov 2020 22:56:48 +0100 Subject: [PATCH] doc: Nix: make binary cache setup compatible with Nix 2.3 --- doc/make/nix.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/make/nix.md b/doc/make/nix.md index a588d911a5..9d11fa552d 100644 --- a/doc/make/nix.md +++ b/doc/make/nix.md @@ -13,8 +13,8 @@ max-jobs = auto # Allow building multiple derivations in parallel keep-outputs = true # Do not garbage-collect build time-only dependencies (e.g. clang) extra-sandbox-paths = /nix/var/cache/ccache # Extra local cache for C/C++ code # Allow fetching build results from the Lean Cachix cache -extra-trusted-substituters = https://lean4.cachix.org/ -extra-trusted-public-keys = lean4.cachix.org-1:mawtxSxcaiWE24xCXXgh3qnvlTkyU7evRRnGeAhD4Wk= +trusted-substituters = https://lean4.cachix.org/ +trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= lean4.cachix.org-1:mawtxSxcaiWE24xCXXgh3qnvlTkyU7evRRnGeAhD4Wk= ``` On a multi-user installation of Nix (the default), you need to restart the Nix daemon afterwards: ```bash