Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add editorconfig #997

Merged
merged 2 commits into from Oct 14, 2017
Merged

Add editorconfig #997

merged 2 commits into from Oct 14, 2017

Conversation

jaythomas
Copy link
Contributor

@jaythomas jaythomas commented Oct 13, 2017

editorconfig is a great way to set some file formatting conventions for a project and have your text editor automatically apply them. This saves the hassle of having to fix and re-review pull requests because of simple indentation issues or Windows-created files with CRLF line endings.

Copy link
Member

@w0rp w0rp left a comment

I don't see why this can't be added.

Add the file to .gitattributes so it won't be exported with the releases. If not, I'll just do that later.

insert_final_newline = true
indent_style = space
indent_size = 4
trim_trailing_whitespace = true
Copy link
Member

@w0rp w0rp Oct 13, 2017

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add a trailing newline at the end of the file here... which this very same config seems to enable.

Copy link
Contributor Author

@jaythomas jaythomas Oct 13, 2017

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

hah yes I didn't have an editorconfig file when I created the file 😀

Copy link
Contributor Author

@jaythomas jaythomas Oct 13, 2017

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Opening and re-saving the file, it automatically inserted it for me though. 👍

w0rp
w0rp approved these changes Oct 14, 2017
@w0rp w0rp merged commit 618074a into dense-analysis:master Oct 14, 2017
2 checks passed
@w0rp
Copy link
Member

@w0rp w0rp commented Oct 14, 2017

Cheers! 🍻

@jaythomas jaythomas deleted the editorconfig branch Oct 14, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants