From 81dbbd08b2807a82088a53f10f15112565c05994 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 4 Jan 2023 15:13:55 +0800
Subject: [PATCH] doc: duplicate nixConfig

---
 doc/manual/installing.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 1bd8560e2..0f2e895ed 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -79,6 +79,10 @@ Installing multiple packages and making them visible to the ARTIQ commands requi
           ];
         };
       };
+    nixConfig = {  # work around https://github.com/NixOS/nix/issues/6771
+      extra-trusted-public-keys = "nixbld.m-labs.hk-1:5aSRVA5b320xbNvu30tqxVPXpld73bhtOeH6uAjRyHc=";
+      extra-substituters = "https://nixbld.m-labs.hk";
+    };
   }