pederbs/config
pederbs
/
config
2
1
Fork 0
Code Issues Pull Requests Releases Activity

lasdjklasdjkl

This commit is contained in:
Peder Bergebakken Sundt 2023-06-04 00:49:52 +02:00
parent 217c821750
commit 759cdbbddd
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.envrc
View File

@ -4,8 +4,14 @@ git config --local core.hooksPath "$PWD"/.githooks
test -d .direnv || mkdir -p .direnv test -d .direnv || mkdir -p .direnv
now="$(date +%Y-%m-%d)" now="$(date +%Y-%m-%d)"
if ! test -s .direnv/pull-date || test "$now" != "$(cat .direnv/pull-date)"; then if ! test -s .direnv/pull-date || test "$now" != "$(cat .direnv/pull-date)"; then
git checkout -- flake.lock
git pull --rebase --autostash git pull --rebase --autostash
nix flake update nix flake lock \
--update-input nixpkgs \
--update-input unstable \
--update-input home-manager \
--update-input nixos-hardware \
--update-input pbsds-papers
echo "$now" > .direnv/pull-date echo "$now" > .direnv/pull-date
fi fi