Skip to content

Add prompts to install linter extensions. #20050

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

Merged
merged 5 commits into from
Oct 25, 2022

Conversation

karthiknadig
Copy link
Member

@luabud @cwebster-99 Let me know if the texts here make sense.

@karthiknadig karthiknadig added the feature-request Request for new features or functionality label Oct 22, 2022
@karthiknadig karthiknadig self-assigned this Oct 22, 2022
cwebster-99
cwebster-99 previously approved these changes Oct 24, 2022
@karthiknadig karthiknadig added the skip package*.json package.json and package-lock.json don't both need updating label Oct 24, 2022
'toolsExt.pylint.message',
'Use the Pylint extension to enable easier configuration and new features such as quick fixes.',
);
export const installPylintExtension = localize('toolsExt.install.pylint', 'Install Pylint Extension');
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
export const installPylintExtension = localize('toolsExt.install.pylint', 'Install Pylint Extension');
export const installPylintExtension = localize('toolsExt.install.pylint', 'Install Pylint extension');

luabud
luabud previously approved these changes Oct 24, 2022
@karthiknadig karthiknadig marked this pull request as ready for review October 24, 2022 23:43
@karthiknadig karthiknadig merged commit da8df5f into microsoft:main Oct 25, 2022
@karthiknadig karthiknadig deleted the integrate-linters branch October 25, 2022 00:12
wesm pushed a commit to posit-dev/positron that referenced this pull request Mar 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request Request for new features or functionality skip package*.json package.json and package-lock.json don't both need updating
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants