[Gnu-arch-users] Passing additional options to `diff'

[Ludovic Courtès]

Hello,

Looking at the source of tla 1.3.3, it seems that passing extra
arguments to `diff' isn't possible (`arch_really_invoke_diff ()' in
`libarch/diffs.c').  Baz (1.4.2) has a slight improvement over this
since its `diff' command has a `--show-c-function' option which is
typically one of these useful options one would like to pass to
GNU diff.  However, it's only one of them.

Has anyone been planning to implement a mechanism (environment variable,
or maybe something in ~/.arch-params) to pass arbitrary options do
`diff'?

Thanks,
Ludovic.