#237323 Diff output should be piped to pager

#237323#5
Date:
2004-03-10 23:56:50 UTC
From:
To:
Hello,

thanks for maintaining Unison!  It's so, so much useful!!

This is a note about the diff function, whose output length is quite
unpredictable and it could happen that hitting 'd' makes your terminal
scroll through megabytes of diff output, and if you interrupt it you
interrupt the whole unison and have to do scanning and conflict
resolution again.

A simple solution would be to just pipe the output to 'pager'.

Bye,

Enrico

#237323#10
Date:
2015-10-25 20:41:49 UTC
From:
To:
(Triaging old bugs.)

Although I agree the default should probably use a pager, for what it's
worth, this can be set in the config file as well. The 'diff' variable
controls what command is used to diff. By default, it is,

diff = diff -u CURRENT2 CURRENT1

(CURRENT1 and CURRENT2 are magic strings replaced with the two
filenames.)

You could change this to,

diff = diff -u CURRENT2 CURRENT1 | pager