File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3838 agda
3939 ] ;
4040 shellHook = ''
41+ shopt -s expand_aliases
4142 alias log_='printf "\033[1;32m%s\033[0m\n" "$@"'
4243 alias info_='printf "\033[1;34m[INFO] %s\033[0m\n" "$@"'
4344 alias warn_='printf "\033[1;33m[WARN] %s\033[0m\n" "$@"'
5455
5556 # --- Flake Local Nix Configuration ----------------------------
5657 nixConfig = {
57- # This sets the flake to use nix cache.
58- # Nix should ask for permission before using it,
59- # but remove it here if you do not want it to.
60- extra-substituters = [
61- "https://cache.tcp4.me?priority=99"
62- ] ;
63- extra-trusted-public-keys = [
64- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
65- ] ;
58+ accept-flake-config = true ;
59+ extra-experimental-features = "nix-command flakes" ;
6660 } ;
6761}
Original file line number Diff line number Diff line change 3131
3232 # --- Flake Local Nix Configuration ----------------------------
3333 nixConfig = {
34- # This sets the flake to use nix cache.
35- # Nix should ask for permission before using it,
36- # but remove it here if you do not want it to.
37- extra-substituters = [
38- "https://cache.tcp4.me?priority=99"
39- ] ;
40- extra-trusted-public-keys = [
41- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
42- ] ;
34+ accept-flake-config = true ;
35+ extra-experimental-features = "nix-command flakes" ;
4336 } ;
4437}
Original file line number Diff line number Diff line change 1919 # Nix should ask for permission before using it,
2020 # but remove it here if you do not want it to.
2121 extra-substituters = [
22- "https://cache.tcp4.me?priority=99"
2322 "https://cache.iog.io"
2423 ] ;
2524 extra-trusted-public-keys = [
26- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
2725 "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
2826 ] ;
2927 } ;
Original file line number Diff line number Diff line change 1919 # Nix should ask for permission before using it,
2020 # but remove it here if you do not want it to.
2121 extra-substituters = [
22- "https://cache.tcp4.me?priority=99"
2322 "https://cache.iog.io"
2423 ] ;
2524 extra-trusted-public-keys = [
26- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
2725 "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
2826 ] ;
2927 } ;
Original file line number Diff line number Diff line change 196196 tests
197197 ] ;
198198 shellHook = ''
199+ shopt -s expand_aliases
199200 alias log_='printf "\033[1;32m%s\033[0m\n" "$@"'
200201 alias info_='printf "\033[1;34m[INFO] %s\033[0m\n" "$@"'
201202 alias warn_='printf "\033[1;33m[WARN] %s\033[0m\n" "$@"'
208209
209210 # --- Flake Local Nix Configuration ----------------------------
210211 nixConfig = {
212+ accept-flake-config = true ;
211213 extra-experimental-features = "nix-command flakes" ;
212214 # This sets the flake to use nix cache.
213215 # Nix should ask for permission before using it,
214216 # but remove it here if you do not want it to.
215217 extra-substituters = [
216- "https://cache.tcp4.me?priority=99"
217218 "https://cache.iog.io"
218219 "https://cache.zw3rk.com"
219220 "https://hercules-ci.cachix.org"
220221 ] ;
221222 extra-trusted-public-keys = [
222- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
223223 "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
224224 "loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk="
225225 "hercules-ci.cachix.org-1:ZZeDl9Va+xe9j+KqdzoBZMFJHVQ42Uu/c/1/KMC5Lw0="
Original file line number Diff line number Diff line change 111111
112112 # --- Flake Local Nix Configuration ----------------------------
113113 nixConfig = {
114+ accept-flake-config = true ;
114115 extra-experimental-features = "nix-command flakes" ;
115116 # This sets the flake to use nix cache.
116117 # Nix should ask for permission before using it,
117118 # but remove it here if you do not want it to.
118119 extra-substituters = [
119- "https://cache.tcp4.me?priority=99"
120120 "https://cache.iog.io"
121121 "https://cache.zw3rk.com"
122122 "https://hercules-ci.cachix.org"
123123 ] ;
124124 extra-trusted-public-keys = [
125- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
126125 "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
127126 "loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk="
128127 "hercules-ci.cachix.org-1:ZZeDl9Va+xe9j+KqdzoBZMFJHVQ42Uu/c/1/KMC5Lw0="
Original file line number Diff line number Diff line change 5656
5757 # --- Flake Local Nix Configuration ----------------------------
5858 nixConfig = {
59+ accept-flake-config = true ;
5960 extra-experimental-features = "nix-command flakes" ;
6061 # This sets the flake to use nix cache.
6162 # Nix should ask for permission before using it,
6263 # but remove it here if you do not want it to.
6364 extra-substituters = [
64- "https://cache.tcp4.me?priority=99"
6565 "https://cache.iog.io"
6666 "https://cache.zw3rk.com"
6767 ] ;
6868 extra-trusted-public-keys = [
69- "cache.tcp4.me:cmk2Iz81lQuX7FtTUcBgtqgI70E8p6SOamNAIcFDSew="
7069 "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
7170 "loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk="
7271 ] ;
You can’t perform that action at this time.
0 commit comments