How to count differences between two files on linux?

If you want to count the number of lines that are different use this:

diff -U 0 file1 file2 | grep ^@ | wc -l

Doesn’t John’s answer double count the different lines?