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

docs: how to configure an IDE for development #193

Merged
merged 3 commits into from
Apr 16, 2023

Conversation

lars-reimann
Copy link
Member

@lars-reimann lars-reimann commented Apr 16, 2023

Closes #183.

Summary of Changes

  • How to configure PyCharm
  • How to configure VS Code
  • Some hints about common mistakes

@lars-reimann lars-reimann requested a review from a team as a code owner April 16, 2023 13:53
@lars-reimann lars-reimann linked an issue Apr 16, 2023 that may be closed by this pull request
@lars-reimann lars-reimann changed the title docs how to configure an IDE for development docs: how to configure an IDE for development Apr 16, 2023
@lars-reimann
Copy link
Member Author

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ MARKDOWN markdown-link-check 1 0 0.64s
✅ REPOSITORY git_diff yes no 0.02s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by OX Security

@codecov
Copy link

codecov bot commented Apr 16, 2023

Codecov Report

Merging #193 (3740894) into main (8c14f40) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #193   +/-   ##
=======================================
  Coverage   93.89%   93.89%           
=======================================
  Files          42       42           
  Lines        1457     1457           
=======================================
  Hits         1368     1368           
  Misses         89       89           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@lars-reimann lars-reimann merged commit da928ea into main Apr 16, 2023
@lars-reimann lars-reimann deleted the 183-document-how-to-configure-an-ide branch April 16, 2023 14:00
@lars-reimann
Copy link
Member Author

🎉 This PR is included in version 0.11.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Apr 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
released Included in a release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document how to configure an IDE
1 participant