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: .schema/devbox.schema.json
+25-2Lines changed: 25 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -5,6 +5,10 @@
5
5
"description": "Defines fields and acceptable values of devbox.json",
6
6
"type": "object",
7
7
"properties": {
8
+
"$schema": {
9
+
"description": "The schema version of this devbox.json file.",
10
+
"type": "string"
11
+
},
8
12
"packages": {
9
13
"description": "Collection of packages to install",
10
14
"oneOf": [
@@ -48,7 +52,13 @@
48
52
},
49
53
"env": {
50
54
"description": "List of additional environment variables to be set in the Devbox environment. Values containing $PATH or $PWD will be expanded. No other variable expansion or command substitution will occur.",
51
-
"type": "object"
55
+
"type": "object",
56
+
"patternProperties": {
57
+
".*": {
58
+
"type": "string",
59
+
"description": "Value of the environment variable."
60
+
}
61
+
}
52
62
},
53
63
"shell": {
54
64
"description": "Definitions of scripts and actions to take when in devbox shell.",
@@ -81,7 +91,20 @@
81
91
}
82
92
}
83
93
}
94
+
},
95
+
"additionalProperties": false
96
+
},
97
+
"include": {
98
+
"description": "List of additional plugins to activate within your devbox shell",
0 commit comments