Skip to content

Add recommended extensions and editor defaults#2072

Open
EjPlatzer wants to merge 7 commits intodevelopfrom
update-editor-settings
Open

Add recommended extensions and editor defaults#2072
EjPlatzer wants to merge 7 commits intodevelopfrom
update-editor-settings

Conversation

@EjPlatzer
Copy link
Contributor

I have added the minimum recommended extensions for VS Code so that users will be prompted to install our linting extensions.

This should probably be complemented by updates to CI to error on Linter warnings.

@EjPlatzer EjPlatzer requested a review from amos-cha July 19, 2023 14:48
russtuck
russtuck previously approved these changes Jul 19, 2023
Copy link
Member

@russtuck russtuck left a comment

Choose a reason for hiding this comment

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

I'm not an expert in VScode, but this looks good to me.

"files.autoSave": "off",
"debug.allowBreakpointsEverywhere": true,
"gitdoc.enabled": false
"editor.rulers": [100],
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
"editor.rulers": [100],
"editor.rulers": [80],

is there a specific reason we have this at 100? I just noticed this, I thought most common best practice is 80?

Copy link
Member

Choose a reason for hiding this comment

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

I assume it's because so much of the code was done with a 100 character limit that we'll just live with that. (80 and 100 are both fairly commonly adopted and justifiable limits. I don't know which is more common.) I'd personally prefer setting it to 80 and gradually adopting that as we make changes. But if Evan thinks that's too painful, I won't disagree. I am interested in his reasoning, especially if I've guessed wrong.

Copy link
Contributor

@amos-cha amos-cha left a comment

Choose a reason for hiding this comment

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

lgtm

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.

5 participants