From af3a5bbf8bcb057b718b143658900f1e498a5c1f Mon Sep 17 00:00:00 2001
From: Martin Wurm <git@mart-w.de>
Date: Wed, 14 Feb 2024 14:00:40 +0100
Subject: [PATCH] remove direnv state dir

---
 .direnv/bin/nix-direnv-reload | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 .direnv/bin/nix-direnv-reload

diff --git a/.direnv/bin/nix-direnv-reload b/.direnv/bin/nix-direnv-reload
deleted file mode 100755
index 186ac96..0000000
--- a/.direnv/bin/nix-direnv-reload
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/usr/bin/env bash
-dir="$(realpath $(dirname ${BASH_SOURCE[0]})/../..)"
-_nix_direnv_force_reload=1 direnv exec "$dir" true
-direnv reload
-# direnv reload updates the mtime of .envrc. Also update the timestamp of the
-# profile_rc file to keep track that we actually are up to date.
-touch $dir/.direnv/{nix,flake}-profile-*.rc
-