This commit is contained in:
2025-12-27 07:34:55 +00:00
parent 11eeb47313
commit e458e346d3
4 changed files with 0 additions and 2147 deletions

View File

@@ -1,19 +0,0 @@
#!/usr/bin/env bash
set -e
if [[ ! -d "/home/james/Repositories/aoc-2025" ]]; then
echo "Cannot find source directory; Did you move it?"
echo "(Looking for "/home/james/Repositories/aoc-2025")"
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/james/Repositories/aoc-2025" true
# Update the mtime for .envrc.
# This will cause direnv to reload again - but without re-building.
touch "/home/james/Repositories/aoc-2025/.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/james/Repositories/aoc-2025/.envrc" "/home/james/Repositories/aoc-2025/.direnv"/*.rc

View File

@@ -1 +0,0 @@
/nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source

View File

@@ -1 +0,0 @@
/nix/store/gvc2n691331mpg6zx9g63b9xjf04dbmx-rust-default-env