From 879cf18fadf03f32e6007f3e8c0ad83d0ed29476 Mon Sep 17 00:00:00 2001 From: Max Date: Thu, 26 May 2022 20:51:03 +0200 Subject: [PATCH] packages/activate-shell: allow overriding devShell attribute --- packages/build-support/activate-shell | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/build-support/activate-shell b/packages/build-support/activate-shell index eb35ff4..4615834 100644 --- a/packages/build-support/activate-shell +++ b/packages/build-support/activate-shell @@ -2,4 +2,4 @@ export REPO_ROOT="$(git rev-parse --show-toplevel)" if ! has nix_direnv_version || ! nix_direnv_version 2.1.0; then source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.1.0/direnvrc" "sha256-FAT2R9yYvVg516v3LiogjIc8YfsbWbMM/itqWsm5xTA=" fi -use flake "${REPO_ROOT}#$(basename $PWD)" +use flake "${REPO_ROOT}#${DEVSHELL_ATTR:-$(basename $PWD)}"