Remove the .direnv directory when cleaning

2023-07-13 22:22:23 +02:00 · 2023-07-13 22:22:23 +02:00 · 3b04e8337e
parent 4863b71bce
commit 3b04e8337e
1 changed files with 1 additions and 1 deletions
--- a/dev.sh
+++ b/dev.sh
@ -54,7 +54,7 @@ clean () {

 cleanall () {
    clean
-    rm -r .venv
+    rm -r .venv .direnv/
 }

 init () {