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

Support Overriding PHPCS Integration Path #89

Merged
merged 2 commits into from
Jan 26, 2024

Conversation

ObliviousHarmony
Copy link
Owner

All Submissions:

  • Have you checked for duplicate PRs?
  • Have you added an entry to the CHANGELOG.md file's [Unreleased] section?

Changes proposed in this Pull Request:

In order to support narrow use-cases without bloating the settings we're going to add a new specialOptions setting. This can contain any of these optional settings in a single setting. The first of these settings is phpcsIntegrationPathOverride. This allows developers to override the path to the PHPCS integration files in case they're using PHP in a container but not using a VS Code remote extension.

Closes #86.

How to test the changes in this Pull Request:

  1. Make sure that the extension works without setting the option.
  2. Set it to a path that does not work and see that it errors with a missing report message.
  3. Set it to a path that works and see that it lints again.

There are currently some very specific use-cases that
we don't support. In order to add features like
that without bloating our config we can use
an aggregate config setting that only gets
filled out when a user needs to set
one of the parameters.
This makes some changes so that we can pass the
path to the PHPCS integration files from the
configuration object. This is useful so that
we can support the override.
@ObliviousHarmony ObliviousHarmony merged commit 84b783a into main Jan 26, 2024
2 checks passed
@ObliviousHarmony ObliviousHarmony deleted the add/special-config-options branch January 26, 2024 18:30
ObliviousHarmony added a commit that referenced this pull request Jan 29, 2024
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.

Editable --report path
1 participant