From c96ee7e761a166daf79f7a5e72d3e7a10f44be85 Mon Sep 17 00:00:00 2001 From: Thijs Putman Date: Sat, 11 Nov 2023 13:40:44 +0100 Subject: [PATCH] All files in ".local/bin" are shellscripts --- .editorconfig | 2 +- .local/bin/.editorconfig | 4 ---- 2 files changed, 1 insertion(+), 5 deletions(-) delete mode 100644 .local/bin/.editorconfig diff --git a/.editorconfig b/.editorconfig index 12f9b26..5db0903 100644 --- a/.editorconfig +++ b/.editorconfig @@ -5,7 +5,7 @@ indent_style = space indent_size = 2 space_redirects = true -[{.bashrc.d,install/parts.d,install/wget.d}/**] +[{.bashrc.d,.local/bin,install/parts.d,install/wget.d}/**] indent_style = space indent_size = 2 space_redirects = true diff --git a/.local/bin/.editorconfig b/.local/bin/.editorconfig deleted file mode 100644 index f4137f7..0000000 --- a/.local/bin/.editorconfig +++ /dev/null @@ -1,4 +0,0 @@ -[xdg-open] -indent_style = space -indent_size = 2 -space_redirects = true