add devshell cli

This commit is contained in:
Tim Schubert 2022-10-28 17:00:34 +02:00
parent c781508dee
commit 771e718335
Signed by: dadada
GPG key ID: EEB8D1CE62C4DFEA
4 changed files with 66 additions and 15 deletions

4
.envrc
View file

@ -1 +1,3 @@
use flake .#default
watch_file devshell.nix
use flake