mandlm/home-manager
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore: replace manual dev-shell with devenv

Browse source
This commit is contained in:
Michael Mandl 2025-03-04 15:26:53 +01:00
parent 5cb4656a71
commit a41b0ffd2c
Signed by: mandlm
GPG key ID: 088ED38F036C7AF2
7 changed files with 140 additions and 64 deletions
Download patch file Download diff file Expand all files Collapse all files

11
.envrc
View file

@ -1,8 +1,5 @@
use flake .nix
export DIRENV_WARN_TIMEOUT=20s
if on_git_branch; then
echo
git status --short --branch
echo
git fetch
fi
eval "$(devenv direnvrc)"
use devenv