Skip to content

Commit 11e2ff6

Browse files
authored
Update nix-tools-pin.md (#1628)
1 parent cc8f2c6 commit 11e2ff6

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

docs/dev/nix-tools-pin.md

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,13 @@
11
## How to update [`nix-tools`](https://github.com/input-output-hk/nix-tools)
22

33
1. Use niv to update the sources.json:
4-
54
```
6-
niv update nix-tools
5+
nix flake lock --update-input nix-tools
76
```
87

9-
108
2. If `nix-tools.cabal` or `plan-to-nix` have changed, check the
119
materialized files for each of the compiler nix name in
1210
`ls -d materialized/ghc*/nix-tools` with:
13-
1411
```
1512
nix-build scripts/check-compiler-materialization --argstr compiler-nix-name ghc884
1613
```

0 commit comments

Comments
 (0)