chiark / gitweb /
dot/shell-rc: Colourize `diff' output similarly to `grep'.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 2 Aug 2019 19:38:05 +0000 (20:38 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 3 Aug 2019 02:14:21 +0000 (03:14 +0100)
There's a problem here because of a `zsh' bug:

$ diff -u <(thing) <(thong) | blah
diff: /proc/self/fd/13: No such file or directory
diff: /proc/self/fd/14: No such file or directory

caused by the process-substitution pipes being lost somewhere.

Work around this as (a)

$ diff -u =(thing) =(thong) | blah

(produces temporary files), or (b)

$ { diff -u <(thing) <(thong) } | blah

(extra typing).


No differences found