From e9c23b1229598971a0a5612223079412dd04cfe6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Mon, 25 Mar 2024 05:41:16 +0000
Subject: [PATCH] Create $DEVENV_STATE when entering shell

---
 src/modules/processes.nix | 4 ----
 src/modules/top-level.nix | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/modules/processes.nix b/src/modules/processes.nix
index b72b4a3a2..d1364d8c3 100644
--- a/src/modules/processes.nix
+++ b/src/modules/processes.nix
@@ -131,10 +131,6 @@ in
 
       ${config.processManagerCommand}
 
-      if [[ ! -d "$DEVENV_STATE" ]]; then
-        mkdir -p "$DEVENV_STATE"
-      fi
-
       backgroundPID=$!
 
       stop_up() {
diff --git a/src/modules/top-level.nix b/src/modules/top-level.nix
index 6df69f2c2..1e8f1a363 100644
--- a/src/modules/top-level.nix
+++ b/src/modules/top-level.nix
@@ -263,7 +263,7 @@ in
         echo "Please install direnv: https://direnv.net/docs/installation.html"
       fi
 
-      mkdir -p .devenv
+      mkdir -p $DEVENV_STATE
       if [ ! -L .devenv/profile ] || [ "$(${pkgs.coreutils}/bin/readlink .devenv/profile)" != "${profile}" ]
       then
         ln -nsf ${profile} .devenv/profile