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

Don't ignore required plugins in JetBrains+all #551

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

joao-martins-tdx
Copy link

@joao-martins-tdx joao-martins-tdx commented Oct 16, 2023

New

  • Template - New .gitignore template
  • Composition - Template made from smaller templates
  • Inheritance - Template similar to an existing template
  • Patch - Template extending functionality of existing template

Update

  • Template - Update existing .gitignore template

Details

As stated in https://www.jetbrains.com/help/idea/managing-plugins.html#required-plugins:

A project may require plugins that provide support for certain technologies or frameworks.
(...)
The list of required plugins is stored in the .idea/externalDependencies.xml file of your project

In order to take advantage of this feature, the .idea/externalDependencies.xml file must be shared with all contributors so that they're notified when they're missing a required plugin.

As stated in https://www.jetbrains.com/help/idea/managing-plugins.html#required-plugins:

> A project may require plugins that provide support for certain
technologies or frameworks.
> (...)
> The list of required plugins is stored in the
> `.idea/externalDependencies.xml` file of your project

In order to take advantage of this feature, the
`.idea/externalDependencies.xml` file has to be shared with all 
contributors so that they're notified when they're missing a required
plugin.
@joao-martins-tdx joao-martins-tdx requested a review from a team as a code owner October 16, 2023 14:01
@joao-martins-tdx joao-martins-tdx requested review from filipechagas and Reem-Dalal and removed request for a team October 16, 2023 14:01
@filipechagas filipechagas removed their request for review October 16, 2023 14:02
@joao-martins-tdx
Copy link
Author

@Reem-Dalal Please review

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.

1 participant