chore: re-add removed

DanielleMaywood · DanielleMaywood · commit a1a8957ac554 · 2025-06-23T08:30:02.000Z
diff --git a/agent/agentcontainers/devcontainer.go b/agent/agentcontainers/devcontainer.go
@@ -18,6 +18,8 @@ const (
 	// DevcontainerConfigFileLabel is the label that contains the path to
 	// the devcontainer.json configuration file.
 	DevcontainerConfigFileLabel = "devcontainer.config_file"
+	// The default workspace folder inside the devcontainer.
+	DevcontainerDefaultContainerWorkspaceFolder = "/workspaces"
 )
 
 const devcontainerUpScriptTemplate = `

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,8 @@ const (`
`18`	`18`	`// DevcontainerConfigFileLabel is the label that contains the path to`
`19`	`19`	`// the devcontainer.json configuration file.`
`20`	`20`	`DevcontainerConfigFileLabel = "devcontainer.config_file"`
	`21`	`+ // The default workspace folder inside the devcontainer.`
	`22`	`+ DevcontainerDefaultContainerWorkspaceFolder = "/workspaces"`
`21`	`23`	`)`
`22`	`24`
`23`	`25`	const devcontainerUpScriptTemplate = `