aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorK900 <me@0upti.me>2024-03-26 19:25:27 +0300
committerK900 <me@0upti.me>2024-03-26 19:40:43 +0300
commit312cee142ac10b86b64c97e0a60f9887716991a8 (patch)
treeb9f85a43c8ec147a1dec23366e3977cece2d3879
parent531b8d0ab846966795524951dd260d403d8a0d04 (diff)
envrc: improve
- add shellcheck hint - load .envrc.local if one exists - use a variable to allow choosing the shell variant Change-Id: Iea34e5a800f5d463e5792020c5c293b8b3071ca5
-rw-r--r--.envrc4
-rw-r--r--.gitignore1
2 files changed, 4 insertions, 1 deletions
diff --git a/.envrc b/.envrc
index 3550a30f2..38764da7a 100644
--- a/.envrc
+++ b/.envrc
@@ -1 +1,3 @@
-use flake
+# shellcheck shell=bash
+source_env_if_exists .envrc.local
+use flake ".#${LIX_SHELL_VARIANT:-default}" "${LIX_SHELL_EXTRA_ARGS[@]}"
diff --git a/.gitignore b/.gitignore
index 4b4fdbbf6..02c577c76 100644
--- a/.gitignore
+++ b/.gitignore
@@ -147,6 +147,7 @@ result-*
.vscode/
.direnv/
+.envrc.local
# clangd and possibly more
.cache/