exit terminal after installing the WPILib extension

CoolSpy3 · web-flow · commit ca245b8b5ada · 2023-08-01T21:49:14.000Z
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -32,7 +32,7 @@
 		}
 	},
 
-	"postAttachCommand": "./.devcontainer/installWPILibExtension.sh"
+	"postAttachCommand": "./.devcontainer/installWPILibExtension.sh && exit"
 
 	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
 	// "remoteUser": "root"

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@`
`32`	`32`	`}`
`33`	`33`	`},`
`34`	`34`
`35`		`- "postAttachCommand": "./.devcontainer/installWPILibExtension.sh"`
	`35`	`+ "postAttachCommand": "./.devcontainer/installWPILibExtension.sh && exit"`
`36`	`36`
`37`	`37`	`// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.`
`38`	`38`	`// "remoteUser": "root"`