Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 24, 2023 · 5c63f0f · 5c63f0f
2 parents 4bc8fca + fcc48a4
commit 5c63f0f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/package/nix/install b/package/nix/install
@@ -35,7 +35,9 @@ in your shell."
     if [[ $REPLY =~ ^[Yy]$ ]]
     then
       echo "Downloading nix and running the installer..."
-      curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix | sh -s -- install --no-confirm
+      curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix | sh -s -- install --no-confirm \
+      --extra-conf "trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= k-framework.cachix.org-1:jeyMXB2h28gpNRjuVkehg+zLj62ma1RnyyopA/20yFE= k-framework-binary.cachix.org-1:pJedQ8iG19BW3v/DMMmiRVtwRBGO3fyMv2Ws0OpBADs=" \
+      --extra-conf "substituters = https://cache.nixos.org https://k-framework.cachix.org"
       if [ -e '/nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh' ]; then
           . '/nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh'
       else