[Gnu-arch-users] [MERGE REQUEST] Rename "file-diffs" command to "file-diff" (with compat alias)

[Miles Bader]

address@hidden/tla--devo--1.3--patch-4

The old name of this command "file-diffs" is inconsistent with other
widely used tools (which almost always use plain "diff", as an operator);
Despite having used tla for a long time, I still often mistype this
command as "file-diff", and see the same mistake in others' email.

Even when viewed as a sort of `access function' which retrieves a "diff"
for a file (instead of as the name of an operation), it makes more sense
to use the singular -- the common term for a patch file is "a diff", even
when it applies to several files, and the plural feels especially odd
with a command that explicitly only operates on a single file.

Thanks,

-Miles
-- 
Quidquid latine dictum sit, altum viditur.