From d1572c0d46d63a849475437c42f3a4ffe5f6dfc3 Mon Sep 17 00:00:00 2001 From: weiss Date: Mon, 22 Apr 2024 13:12:05 +0200 Subject: [PATCH] untrack files --- .direnv/bin/nix-direnv-reload | 19 ------------------- .envrc | 3 --- 2 files changed, 22 deletions(-) delete mode 100755 .direnv/bin/nix-direnv-reload delete mode 100644 .envrc diff --git a/.direnv/bin/nix-direnv-reload b/.direnv/bin/nix-direnv-reload deleted file mode 100755 index 4c7f21b..0000000 --- a/.direnv/bin/nix-direnv-reload +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash -set -e -if [[ ! -d "/home/weiss/projects/subtube" ]]; then - echo "Cannot find source directory; Did you move it?" - echo "(Looking for "/home/weiss/projects/subtube")" - 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/weiss/projects/subtube" true - -# Update the mtime for .envrc. -# This will cause direnv to reload again - but without re-building. -touch "/home/weiss/projects/subtube/.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/weiss/projects/subtube/.envrc" "/home/weiss/projects/subtube/.direnv"/*.rc diff --git a/.envrc b/.envrc deleted file mode 100644 index 8f2141f..0000000 --- a/.envrc +++ /dev/null @@ -1,3 +0,0 @@ -nix_direnv_manual_reload -watch_file *.cabal, env_config/* -use flake .#backend --impure