From 12699cdb1ded269bfc9852baf65bd9bbffc91942 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Thu, 22 Feb 2024 13:09:03 -0800
Subject: [PATCH] editorconfig: Use [[shell]] section for shfmt options.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 .editorconfig | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index 6a18d8f259..f0c3faa747 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -8,8 +8,9 @@ indent_style = space
 insert_final_newline = true
 trim_trailing_whitespace = true
 
-binary_next_line = true  # for shfmt
-switch_case_indent = true  # for shfmt
+[[shell]]
+binary_next_line = true
+switch_case_indent = true
 
 [{*.{js,json,ts},check-openapi}]
 max_line_length = 100