setting zsh as default shell in devcontainer.json/settings

eclipse-velocitas · Oct 24, 2022 · ae0c2fd · ae0c2fd
1 parent be62df9
commit ae0c2fd
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -17,7 +17,13 @@
 		"python.formatting.provider": "black",
 		"python.linting.banditEnabled": true,
 		"python.linting.flake8Enabled": true,
-		"python.disableInstallationCheck": true
+		"python.disableInstallationCheck": true,
+		"terminal.integrated.defaultProfile.linux": "zsh", 
+		"terminal.integrated.profiles.linux": {
+			"zsh": {
+				"path": "/bin/zsh"
+			}
+		}
 	},
 	// workaround for the devcontainer features
 	"overrideCommand": false,