Fwd: git difftool does not give the --cached option

From: Ντέντος Σταύρος <stdedos@gmail.com>
Date: Oct 9, 2018, 14:33 UTC
Message-ID: <CAHMHMxWutm=jWC2nLJCEEE4CZ-ERc79vvwrbo8VnfC0VGwei0Q@mail.gmail.com>
In-Reply-To: <CAHMHMxUDN4xKD9GfmOEx1bW1jDeWUgYgg_xdAtvLrFgMV2oCLQ@mail.gmail.com>

I have install the latest git version from the PPA:
$ git --version
git version 2.19.1
$ lsb_release -rd
Description: Ubuntu 16.04.5 LTS
Release: 16.04

However, trying to autocomplete git difftool --cached gives:
$ env -i bash --rcfile /etc/profile
$ . /usr/share/bash-completion/completions/git
$ git difftool --
--dir-diff          --extcmd=           --gui               --no-...
         --no-prompt         --symlinks          --tool-help
--tool=             --trust-exit-code

Please direct me on what would require more attention. /usr/share/bash-completion/completions/git is the same as the git@master/contrib/completion/git-completion.bash and e.g. here: https://github.com/git/git/commit/6cc4bc15f92e85b41d9da9075905f20c6a9008fe#diff-f37c4f4a898819f0ca4b5ff69e81d4d9

It seems that --cached exists.

(Side question: What is the "--no-..." option shown? I cannot seem to find it anywhere in the documentation :/)

Ntentos Stavros