From 0b7b5084454b8057fb73ad425919fcfd87eff185 Mon Sep 17 00:00:00 2001 From: Max Date: Sun, 13 Mar 2022 23:41:43 +0100 Subject: [PATCH] packages: add direnv helper --- .gitignore | 1 + packages/build-support/activate-shell | 2 ++ 2 files changed, 3 insertions(+) create mode 100644 packages/build-support/activate-shell diff --git a/.gitignore b/.gitignore index 1c9ec72..ccec49e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ /wip /result result +**/.direnv/ diff --git a/packages/build-support/activate-shell b/packages/build-support/activate-shell new file mode 100644 index 0000000..5ecd3e3 --- /dev/null +++ b/packages/build-support/activate-shell @@ -0,0 +1,2 @@ +TOP="$(git rev-parse --show-toplevel)" +use flake "${TOP}#$(basename $PWD)"