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

Makefile and indentation fixes #7

Merged
merged 3 commits into from
Apr 23, 2020
Merged

Makefile and indentation fixes #7

merged 3 commits into from
Apr 23, 2020

Conversation

domenic
Copy link
Member

@domenic domenic commented Apr 13, 2020

I'm not sure about the default 2-space indents (vs. e.g. 4-space). The Python files in Encoding use 4-space, notably.

The recent changes in speced/bikeshed#1635 also need to be reflected into the spec Makefiles.
@annevk
Copy link
Member

annevk commented Apr 14, 2020

Per https://www.python.org/dev/peps/pep-0008/#indentation we should probably use 4 spaces for *.py.

Generally we seem to use 2-space indents, e.g. in the CSS of Encoding, or the JavaScript of Streams, or the .travis.yml files everywhere. It's only in the Bikeshed file that we use one-space indents. Additionally, per https://www.python.org/dev/peps/pep-0008/#indentation, Python files use four-space indents.

This updates .editorconfig appropriately, and aligns .pr-preview.json files with this new default.
@domenic
Copy link
Member Author

domenic commented Apr 14, 2020

Force-pushed a commit that adds 4 spaces for *.py

domenic added a commit to whatwg/streams that referenced this pull request Apr 14, 2020
domenic added a commit to whatwg/streams that referenced this pull request Apr 14, 2020
@annevk
Copy link
Member

annevk commented Apr 22, 2020

The indentation looks wrong in the Makefile. Maybe we need .editorconfig for this repository as well. :-)

Also, should I wait with this until the Streams thing is done?

@domenic
Copy link
Member Author

domenic commented Apr 22, 2020

Force-pushed a fix to the Makefile

No need to wait on Streams; that's still got some time left and I will probably just roll these changes in as part of it.

@annevk
Copy link
Member

annevk commented Apr 23, 2020

I'll merge this, but I still need to look at tooling to make PRs to all repositories easier.

@annevk annevk merged commit 4d5784c into master Apr 23, 2020
@annevk annevk deleted the more-fixes branch April 23, 2020 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants