Commit88e7c0f

committed

tweak to devcontainer.local note

1 parent0d0a9ba commit88e7c0fCopy full SHA for 88e7c0f

File tree

-2

lines changed

-2

lines changed

Lines changed: 4 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -70,10 +70,9 @@ component in the workspace.`
`70`	`70`	`##Personal overrides`
`71`	`71`
`72`	`72`	Let developers extend the repo’s`devcontainer.json` with an ignored (by Git)`devcontainer.local.json` file
`73`		`-so they can add personal tools without changing the canonicalconfig:`
	`73`	`+so they can add personal tools without changing the canonicalconfiguration:`
`74`	`74`
`75`	`75`	```jsonc
`76`		`-// devcontainer.local.json (in .gitignore)`
`77`	`76`	`{`
`78`	`77`	`"extends":"./devcontainer.json",`
`79`	`78`	`"features": {`
@@ -83,6 +82,9 @@ Let developers extend the repo’s `devcontainer.json` with an ignored (by Git)
`83`	`82`	`}`
`84`	`83`	```
`85`	`84`
	`85`	+Add the file name to your project's`.gitignore` or the user's
	`86`	`+[global exclude file](https://docs.github.com/en/get-started/git-basics/ignoring-files#configuring-ignored-files-for-all-repositories-on-your-computer).`
	`87`	`+`
`86`	`88`	`##Conditional startup`
`87`	`89`
`88`	`90`	Use`coder_parameter` booleans to let workspace creators choose which dev containers start automatically,

Comments

(0)