new cache

This commit is contained in:
Sridhar Ratnakumar 2021-12-25 15:17:32 -05:00
parent bf2e47c550
commit 2acbf60532
3 changed files with 10 additions and 1 deletions

View file

@ -1,4 +1,4 @@
#!/usr/bin/env bash
set -xe
PROJECT=$(basename `pwd`)
tmux new-session -A -s $PROJECT make
tmux new-session -A -s $PROJECT sh -c 'sudo nixos-rebuild switch; echo "Press enter to quit"; read '

View file

@ -0,0 +1,8 @@
{ pkgs, ... }: {
nix.binaryCachePublicKeys = [
"cm-idris2-pkgs.cachix.org-1:YB2oJSEsD5oMJjAESxolC2GQtE6B5I6jkWhte2gtXjk="
];
nix.binaryCaches = [
"https://cm-idris2-pkgs.cachix.org"
];
}

View file

@ -2,5 +2,6 @@
imports = [
./iohk.nix
./platonic.nix
./cm-idris2-pkgs.nix
];
}