Skip to content

Instantly share code, notes, and snippets.

@rumur
Created December 20, 2018 11:12
Show Gist options
  • Save rumur/73e9dddf5bc03ea6823195dcc10c9e2e to your computer and use it in GitHub Desktop.
Save rumur/73e9dddf5bc03ea6823195dcc10c9e2e to your computer and use it in GitHub Desktop.
Use PHPStorm/WebStorm for git diff and merge tools
# ~/.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