On 2023/05/18 11:08:54 +0200, NilsOla Nilsson <nils...@abc.se> wrote: > On Wed, May 17, 2023 at 07:03:22PM +0200, Omar Polo wrote: > > > > still in doubt if it's useful to waste spaces on the mirrors for a > > debug package for this. > > There is also dwdiff in ports, which is probably > better. From the manpage: > dwdiff is mostly command-line compatible with wdiff
I've missed that, thanks! I couldn't make it highlight the difference as wdiff does without "| less" but it's not a big deal, and more importantly it doesn't crash out of the box! At this point I'm wondering whether we should remove wdiff and just point users to dwdiff...