Skip to content

Instantly share code, notes, and snippets.

@dserodio
Created January 26, 2023 20:48
Show Gist options
  • Save dserodio/3e04ff9f8c1a5caefe8f4e5860c0c39a to your computer and use it in GitHub Desktop.
Save dserodio/3e04ff9f8c1a5caefe8f4e5860c0c39a to your computer and use it in GitHub Desktop.
EditorConfig config file
# EditorConfig is awesome: https://EditorConfig.org
# top-most EditorConfig file
root = true
# Unix-style newlines with a newline ending every file and no trailing whitespace
[*]
end_of_line = lf
trim_trailing_whitespace = true
insert_final_newline = true
[*.sh]
# like -i=4
indent_style = space
indent_size = 4
# shell_variant = posix # --language-variant
binary_next_line = true
switch_case_indent = true # --case-indent
space_redirects = true
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment