EditorConfig

The following discussion from !4 (merged) should be addressed:

• @yala started a discussion:

  Could you see if you could enable an editorconfig.org plugin in your development environment?

  In 0a9f33ed I have added an .editorconfig file to the root of this repository.

  It contains declarations, seemingly in TOML, to configure a shared development environment.

  Because Git does not like no newlines at the end of files, why GitLab comments on that below, I have added insert_final_newline = true to .editorconfig. Given support in the used editor/development environment, this will help to automate this nuisance away.

  There is much folklore on the web about why this is the case:

  • git - What's the significance of the "No newline at end of file" log? - Stack Overflow
  • No Newline at End of File

---

It will be useful to integrate this in a formal format step, which could be preceded by a formal lint step.

These will greatly

• enhance remote debugging in CI environments.

  It could be that macOS or your editor come with different different conventions than the git + Linux ecosystem here.