Skip to content

Instantly share code, notes, and snippets.

@marzocchi

marzocchi/config.ini

Created August 14, 2018 10:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save marzocchi/82697e121680a636db1094020ac5088c to your computer and use it in GitHub Desktop.
Save marzocchi/82697e121680a636db1094020ac5088c to your computer and use it in GitHub Desktop.
Download ZIP
Git difftool configuration for comparing MySQL schemas
Raw
config.ini
[diff]
tool = diff-for-schema
[difftool]
prompt = false
[difftool "diff-for-schema"]
cmd = diff --show-function-line='^CREATE TABLE' -U1 -- "$LOCAL" "$REMOTE"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment