The plugin works with all JetBrains IDEs including:
IntelliJ IDEA
then Preferences
(or use ⌘,)Plugins
in the left-hand pane.Browse repositories...
Sourcegraph
-> Install
Sourcegraph
in the right-click context menu to see actions and keyboard shortcuts.The plugin is configurable globally by creating a sourcegraph-jetbrains.properties
in your home directory. For example, modify the following URL to match your on-premises Sourcegraph instance URL:
url = https://sourcegraph.example.com
You may also choose to configure it per repository using a .idea/sourcegraph.xml
file in your repository like so:
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="Config">
<option name="url" value="https://sourcegraph.example.com" />
</component>
</project>
By default, the plugin will use the origin
git remote to determine which repository on Sourcegraph corresponds to your local repository. If your origin
remote doesn't match Sourcegraph, you may instead configure a sourcegraph
Git remote which will take priority.
Please file an issue: https://github.com/sourcegraph/sourcegraph-jetbrains/issues/new
IntelliJ IDEA
then Preferences
(or use ⌘,)Plugins
in the left-hand pane.Sourcegraph
-> Right click -> Uninstall
(or uncheck to disable)Check out from Version Control
-> Git
-> https://github.com/sourcegraph/sourcegraph-jetbrains
sourcegraph.jar
:
plugin.xml
(change version AND describe changes in change notes).Util.java
(change VERSION
constant).README.md
(copy changelog from plugin.xml).Build
-> Prepare Plugin Module 'sourcegraph' For Deployment
git commit -m "all: release v<THE VERSION>"
and git push
and git tag v<THE VERSION>
and git push --tags
master
will now be used instead..idea/sourcegraph.xml
file. See the README for details.sourcegraph
and then origin
, instead of the previously poor choice of just the first git remote.