Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Select an option

  • Save lxm1117/298e3e12d588dbeb4171 to your computer and use it in GitHub Desktop.

Select an option

Save lxm1117/298e3e12d588dbeb4171 to your computer and use it in GitHub Desktop.

One can use MD5 or plain text diff to see differences in PDF files. If that's not enough, here's how to use diffpdf which knows how to diff based on appearance or words:

  • brew install diffpdf
  • edit your ~/.gitconfig to add this:
[difftool "diffpdf"]
  cmd = diffpdf \"$LOCAL\" \"$REMOTE\"
  • then use with:
git difftool --tool=diffpdf your_pdf_file.pdf

I suspect there's maybe some way to force always using a specific difftool for files with a specific extension; in the mean time I'm just using a bash function for this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment