From 0d2425ca78a4e733c21066c4a5b79290dbc28144 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Thu, 6 Feb 2020 13:01:55 +0100 Subject: [PATCH] CI: make shell-scripts tab-indented by default --- .editorconfig | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.editorconfig b/.editorconfig index b2ae0dd2b..d282d6273 100644 --- a/.editorconfig +++ b/.editorconfig @@ -11,3 +11,8 @@ trim_trailing_whitespace = true indent_style = space indent_size = 4 insert_final_newline = true + +[*.sh] +indent_style = tab +insert_final_newline = true +