From 1b300bbb64636aa7a52d3ba7b201184f73239eac Mon Sep 17 00:00:00 2001 From: mohsenari Date: Wed, 24 Jan 2024 19:18:10 -0500 Subject: [PATCH] Updated wording on direnv integration setup to make it clearer --- docs/app/docs/ide_configuration/direnv.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/app/docs/ide_configuration/direnv.md b/docs/app/docs/ide_configuration/direnv.md index 3f32a6dd4d1..198b38fafff 100644 --- a/docs/app/docs/ide_configuration/direnv.md +++ b/docs/app/docs/ide_configuration/direnv.md @@ -32,7 +32,7 @@ direnv: loading ~/src/devbox/docs/.envrc direnv: using devbox ``` -This will generate a `.envrc` file in your project directory that contains `devbox.json`. Run `direnv allow` to activate your shell upon directory navigation. Run `direnv revoke` to stop. Changes to `devbox.json` automatically trigger direnv to reset the environment. +This will generate a `.envrc` file in your project directory that contains `devbox.json`. Run `direnv allow` to activate your shell upon directory navigation. Run `direnv revoke` to stop. Changes to `devbox.json` automatically trigger direnv to reset the environment. The generated `.envrc` file doesn't need any further configuration. Just having the generated file along with installed direnv and Devbox, is enough to make direnv integration with Devbox work. #### Existing Project @@ -47,6 +47,8 @@ direnv: loading ~/src/devbox/docs/.envrc direnv: using devbox ``` +The generated `.envrc` file doesn't need any further configuration. Just having the generated file along with installed direnv and Devbox, is enough to make direnv integration with Devbox work. + #### Adding Custom Env Variables or Env Files to your Direnv Config In some cases, you may want to override certain environment variables in your Devbox config when running it locally. You can add custom environment variables from the command line or from a file using the `--env` and `--env-file` flags.