From 6ee4cb459798831d8f887b14feeef59c20d4772d Mon Sep 17 00:00:00 2001 From: John D Pell Date: Thu, 12 Aug 2021 22:07:38 -0700 Subject: [PATCH] EditorConfig: don't specify indent size When using tabs, `indent_size` should be set to `tab`, which is the default. Furthermore, `tab_width` (which is likely what was intended when `indent_size` was entered) should be left up to the user. If the user likes an 8-character indent, then let them. If they like 2-character indent size, then let them. Using tabs means that this all works normally for everyone, even if it's different on different screens. --- .editorconfig | 1 - 1 file changed, 1 deletion(-) diff --git a/.editorconfig b/.editorconfig index e35a1b04..e0eb8455 100755 --- a/.editorconfig +++ b/.editorconfig @@ -17,7 +17,6 @@ indent_style = tab [{**.*sh,test/run}] indent_style = tab -indent_size = 4 shell_variant = bash binary_next_line = true # like -bn