From 08171a2cbe64e3c05002f35de0b2b8ea9d009802 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Fri, 10 May 2024 15:07:41 -0500
Subject: remove gitignore stuff

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

(limited to '.direnv/bin')

diff --git a/.direnv/bin/nix-direnv-reload b/.direnv/bin/nix-direnv-reload
deleted file mode 100755
index cc9ab90..0000000
--- a/.direnv/bin/nix-direnv-reload
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/usr/bin/env bash
-set -e
-if [[ ! -d "/home/mccd/builds/apbox" ]]; then
-  echo "Cannot find source directory; Did you move it?"
-  echo "(Looking for "/home/mccd/builds/apbox")"
-  echo 'Cannot force reload with this script - use "direnv reload" manually and then try again'
-  exit 1
-fi
-
-# rebuild the cache forcefully
-_nix_direnv_force_reload=1 direnv exec "/home/mccd/builds/apbox" true
-
-# Update the mtime for .envrc.
-# This will cause direnv to reload again - but without re-building.
-touch "/home/mccd/builds/apbox/.envrc"
-
-# Also update the timestamp of whatever profile_rc we have.
-# This makes sure that we know we are up to date.
-touch -r "/home/mccd/builds/apbox/.envrc" "/home/mccd/builds/apbox/.direnv"/*.rc
-- 
cgit v1.2.3