Skip to content
Snippets Groups Projects

Make plugin configurable via dotted `.sourcegraph-jetbrains.properties`

Merged Administrator requested to merge github/fork/XanderXAJ/alexp/dotted-config-file into master

Created by: XanderXAJ

Normally configuration files for tools (especially global configuration) tend to begin with a dot to avoid showing up in file listings and other tools (unless desired).

This change adds .sourcegraph-jetbrains.properties as a candidate path to check for the global configuration file. Since dotted files are conventional for configuration, the path mentioned in the README has been changed to suggest the dotted file name.

The original non-dotted filename is still read as a backup for backwards compatibility.

Merge request reports

Approval is optional

Merged by avatar (Jun 5, 2025 3:55pm UTC)

Merge details

  • Changes merged into master with 053a956c.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading