PMD / Issues / #1548 [eclipse] Preference to allow disabling Eclipse plug-in

#1548 [eclipse] Preference to allow disabling Eclipse plug-in

Milestone: Eclipse-Plugin

Status: closed

Owner: nobody

Labels: None

Module: PMD

Priority: 3-Major

Type: Feature-Request

Affects version: 4.0.8

Ruleset / Rule:

Updated: 2018-04-07

Created: 2016-11-22

Creator: Knut Wannheden

Private: No

In the project preferences I have the possibility to disable PMD, but if I have a lot of projects I need to do it for every project individually and it will change its .project file. It would be great if I could temporarily disable PMD in the Eclipse preferences. This should then be saved as a preference in the workspace metadata.

Discussion

Andreas Dangel - 2017-01-08

summary: Preference to allow disabling Eclipse plug-in --> [eclipse] Preference to allow disabling Eclipse plug-in
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Andreas Dangel - 2018-04-07

See https://github.com/pmd/pmd-eclipse-plugin/pull/40
This will be possible via the "Check on save" option in the next version.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Andreas Dangel - 2018-04-07

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

[eclipse] Preference to allow disabling Eclipse plug-in

A source code analyzer

Milestone

Searches

Help

#1548 [eclipse] Preference to allow disabling Eclipse plug-in

Discussion