On Wed, Sep 18, 2019 at 2:23 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

> Thanks, I installed the attached to try to fix that.

Thanks.

> Is there a 'git' program in your PATH?

Yes.

$ path
/c/bin64/Git/cmd
/mingw64/bin
/usr/local/bin
/usr/bin
/bin
/c/Windows/System32
/c/Windows
/c/Windows/System32/Wbem
/c/Windows/System32/WindowsPowerShell/v1.0/
/usr/bin/site_perl
/usr/bin/vendor_perl
/usr/bin/core_perl

$ ls -l /c/bin64/Git/cmd/
total 384
-rwxr-xr-x 1 Juanma Juanma 148768 Feb 26  2019 git-gui.exe
-rwxr-xr-x 2 Juanma Juanma  40728 Feb 26  2019 git-lfs.exe
-rwxr-xr-x 2 Juanma Juanma  40728 Feb 26  2019 git.exe
-rwxr-xr-x 1 Juanma Juanma 148760 Feb 26  2019 gitk.exe
-rw-r--r-- 1 Juanma Juanma   3022 Feb 26  2019 start-ssh-agent.cmd
-rw-r--r-- 1 Juanma Juanma   2723 Feb 26  2019 start-ssh-pageant.cmd


> What's the output of the following shell
> script (or equivalent) on your host?

$ ./paul.sh
drwxr-xr-x 1 Juanma Juanma     0 May 31 02:59 /c/bin64/Git/cmd
-rwxr-xr-x 2 Juanma Juanma 40728 Feb 26  2019 /c/bin64/Git/cmd/git
=============
ls: cannot access '/mingw64/bin/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 17 01:54 /mingw64/bin
=============
ls: cannot access '/usr/local/bin': No such file or directory
ls: cannot access '/usr/local/bin/git': No such file or directory
=============
ls: cannot access '/usr/bin/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 16 12:17 /usr/bin
=============
ls: cannot access '/bin/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 16 12:17 /bin
=============
ls: cannot access '/c/Windows/System32/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 12 22:04 /c/Windows/System32
=============
ls: cannot access '/c/Windows/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 12 01:07 /c/Windows
=============
ls: cannot access '/c/Windows/System32/Wbem/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 12 01:07 /c/Windows/System32/Wbem
=============
ls: cannot access '/c/Windows/System32/WindowsPowerShell/v1.0//git': No
such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Jun  6 03:09
/c/Windows/System32/WindowsPowerShell/v1.0/
=============
ls: cannot access '/usr/bin/site_perl/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Apr 25 09:29 /usr/bin/site_perl
=============
ls: cannot access '/usr/bin/vendor_perl/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Jun  2 19:13 /usr/bin/vendor_perl
=============
ls: cannot access '/usr/bin/core_perl/git': No such file or directory
drwxr-xr-x 1 Juanma Juanma 0 Sep 16 12:16 /usr/bin/core_perl
=============