zaphar/dotfiles
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

dev: automation to update inputs

Browse Source
This commit is contained in:
Jeremy Wall 2024-09-15 20:48:29 -04:00
parent 84050af38f
commit d7d27a5520
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -9,3 +9,6 @@ update-quint:
#sed -e 's#inherit nodeEnv;#inherit nodeEnv quint-src;#' -e 's/, system/, quint-src, system/' -i '' nix/packages/quint/default.nix
#sed -e 's#src = \./\.#src = "$${quint-src}/quint"#' -e 's#nodeEnv, #quint-src, nodeEnv, #' -i '' nix/packages/quint/node-packages.nix
#rm -f nix/packages/quint/package*.json
update-input-%:
nix flake lock --update-input $* ./nix/base-system/