feat: fix direnv
Signed-off-by: Christina Sørensen <ces@fem.gg>
This commit is contained in:
parent
b2679944ed
commit
e74c9d8661
8 changed files with 1 additions and 2030 deletions
|
@ -1,19 +0,0 @@
|
|||
#!/usr/bin/env bash
|
||||
set -e
|
||||
if [[ ! -d "/home/ces/org/src/git/qcode-drills" ]]; then
|
||||
echo "Cannot find source directory; Did you move it?"
|
||||
echo "(Looking for "/home/ces/org/src/git/qcode-drills")"
|
||||
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/ces/org/src/git/qcode-drills" true
|
||||
|
||||
# Update the mtime for .envrc.
|
||||
# This will cause direnv to reload again - but without re-building.
|
||||
touch "/home/ces/org/src/git/qcode-drills/.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/ces/org/src/git/qcode-drills/.envrc" "/home/ces/org/src/git/qcode-drills/.direnv"/*.rc
|
|
@ -1 +0,0 @@
|
|||
/nix/store/80figiaxaxbij9dvaapawdpscd9bcgpd-source
|
|
@ -1 +0,0 @@
|
|||
/nix/store/bzhc7rpaymqkzrpbpczyzhwvdbgh7cf1-source
|
|
@ -1 +0,0 @@
|
|||
/nix/store/wshnc0kqk1qz7iffb1yqri8a5cy6v7w5-source
|
|
@ -1 +0,0 @@
|
|||
/nix/store/y082x32a6ylpai5lp1x4vcpj39gya83h-source
|
|
@ -1 +0,0 @@
|
|||
/nix/store/qwmvgrk86nbz091kf2nyswdbrb22jf15-nix-shell-env
|
File diff suppressed because it is too large
Load diff
1
.gitignore
vendored
Normal file
1
.gitignore
vendored
Normal file
|
@ -0,0 +1 @@
|
|||
.direnv
|
Loading…
Add table
Reference in a new issue