You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/app/docs/ide_configuration/vscode.md
+2-2Lines changed: 2 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -34,12 +34,12 @@ Note that running `devbox shell` is not necessary if VSCode is reopened in Devbo
34
34
35
35
## Direnv Extension
36
36
___
37
-
Direnv is an open source environment management tool that allows setting unique environment variables per directory in your file system. For more details on how to set it and integrate it with Devbox visit [our Direnv setup guide](ide_configuration/direnv/).
37
+
Direnv is an open source environment management tool that allows setting unique environment variables per directory in your file system. For more details on how to set it and integrate it with Devbox visit [our Direnv setup guide](../direnv/).
38
38
39
39
Once Direnv is installed and setup with Devbox, its [VSCode extension](vscode:extension/mkhl.direnv) can also be used to integrate the environment defined in your devbox.json to VSCode. To do that follow the steps below:
40
40
41
41
1. Install Direnv ([link to guide](https://direnv.net/#basic-installation))
42
-
2. Setup Devbox shell with Direnv ([link to guide](ide_configuration/direnv/#setting-up-devbox-shell-and-direnv))
42
+
2. Setup Devbox shell with Direnv ([link to guide](../direnv/#setting-up-devbox-shell-and-direnv))
0 commit comments