Created
December 20, 2018 11:12
-
-
Save rumur/73e9dddf5bc03ea6823195dcc10c9e2e to your computer and use it in GitHub Desktop.
Use PHPStorm/WebStorm for git diff and merge tools
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# ~/.gitconfig | |
# Add this to your global git configuration file | |
# Change pstorm to wstorm, if you use that. | |
# Diff and merge tool changes | |
# Run `git difftool <directory/file>...` or `git mergetool <directory/file>...` | |
[diff] | |
tool = pstorm | |
[difftool] | |
prompt = false | |
[difftool.pstorm] | |
cmd = /usr/local/bin/pstorm diff "$LOCAL" "$REMOTE" | |
[merge] | |
tool = pstorm | |
[mergetool.pstorm] | |
cmd = /usr/local/bin/pstorm merge "$LOCAL" "$REMOTE" "$BASE" "$MERGED" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment