From f264dd1cbbe70188151a4fcc5e66cdbdb573233a Mon Sep 17 00:00:00 2001 From: Christian Winther Date: Thu, 22 Feb 2024 14:53:59 +0000 Subject: [PATCH] space redirects in shell scripts --- .editorconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.editorconfig b/.editorconfig index a56c5a37a..b368b11ec 100644 --- a/.editorconfig +++ b/.editorconfig @@ -20,7 +20,7 @@ indent_size = 4 shell_variant = bash # like -ln=bash binary_next_line = true # like -bn switch_case_indent = true # like -ci -space_redirects = false # like -sr +space_redirects = true # like -sr keep_padding = false # like -kp function_next_line = true # like -fn never_split = true # like -ns