From a370a162fef7ffa35881078427da95cd535db427 Mon Sep 17 00:00:00 2001
From: Jim Myhrberg <contact@jimeh.me>
Date: Sat, 26 Jul 2025 18:34:34 +0100
Subject: [PATCH] chore(bash-ide): tweak settings

---
 settings.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/settings.json b/settings.json
index 245d13b..5f191a2 100644
--- a/settings.json
+++ b/settings.json
@@ -551,6 +551,7 @@
     "editor.tabSize": 2,
     "editor.insertSpaces": true
   },
+  "bashIde.enableSourceErrorDiagnostics": true,
   "bashIde.shfmt.caseIndent": true,
   "bashIde.shfmt.spaceRedirects": true,
   //