Make plugin configurable via dotted `.sourcegraph-jetbrains.properties`
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
Activity
Created by: coury-clark
Thanks for the contribution! I agree this seems like a more appropriate path for this file. I'd be happy to approve and merge, but we have a CLA for all Sourcegraph repositories that needs to be acknowledged before we can merge. If you would be willing to accept the CLA, we can accept this change! (we're working on getting the automatic bot set up across all repositories, it should be coming soon)
Here is the link: https://docs.google.com/forms/d/e/1FAIpQLSeoH8uJii-17uHUMlbsM2LKwfOh2kXRYNcQlURIZ8qeDiDl8w/viewform