chore(bash-ide): tweak settings

This commit is contained in:
2025-07-26 18:34:34 +01:00
parent bda29105d0
commit a370a162fe

View File

@@ -551,6 +551,7 @@
"editor.tabSize": 2,
"editor.insertSpaces": true
},
"bashIde.enableSourceErrorDiagnostics": true,
"bashIde.shfmt.caseIndent": true,
"bashIde.shfmt.spaceRedirects": true,
//