sercanto/mio-ops
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Activity

devShell: add tea

Browse source 
resolves #4
This commit is contained in:
Serĉanto de Scio 2023-03-24 23:08:47 +10:00
parent 06524056aa
commit 247e8e99ab
Signed by: sercanto
GPG key ID: 7DBA9F5689EFB6AA
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
default.nix
View file

@ -14,6 +14,7 @@ with import ./nix args; {
cardanoNodeProject.cardano-cli # required for KES key rotation cardanoNodeProject.cardano-cli # required for KES key rotation
niv niv
nixopsUnstable # work around for issue #127423 nixopsUnstable # work around for issue #127423
tea # Gitea official CLI client
treefmt # one CLI to format the code tree treefmt # one CLI to format the code tree
]; ];
NIX_PATH = "nixpkgs=${sources.nixpkgs}"; NIX_PATH = "nixpkgs=${sources.nixpkgs}";