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/devbox_global.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
@@ -96,7 +96,7 @@ devbox global shellenv | source
96
96
97
97
## Sharing Your Global Config
98
98
99
-
Your global `devbox.json` will be stored in $XDG_DATA_HOME/devbox/global/devbox.json. If $XDG_DATA_HOME is not set, it will default to `~/.local/share/devbox/global/devbox.json`.
99
+
Your global `devbox.json` will be stored in `$XDG_DATA_HOME/devbox/global/default/devbox.json`. If `$XDG_DATA_HOME` is not set, it will default to `~/.local/share/devbox/global/default/devbox.json`.
100
100
101
101
If you want to share your configuration with across machines or with other users, you can copy this file to a git repository or host it online. You can then download and set the config as your global profile using `devbox global pull <path> | <url>`.
102
102
@@ -127,4 +127,4 @@ devbox global pull https://raw.githubusercontent.com/org/repo/branch/path/to/dev
127
127
### Get Involved
128
128
129
129
***[Join our Discord Community](https://discord.gg/jetpack-io):** Chat with the development team and our growing community of Devbox users.
130
-
***[Visit us on Github](https://github.com/jetpack-io/devbox):** File issues and provide feedback, or even open a PR to contribute to Devbox or our Docs.
130
+
***[Visit us on Github](https://github.com/jetpack-io/devbox):** File issues and provide feedback, or even open a PR to contribute to Devbox or our Docs.
0 commit comments