Re: WebDav WorkDir Windows not working

["brian m. carlson" <sandals@crustytoothpaste.net>]

[-- Attachment #1: Type: text/plain, Size: 1737 bytes --]

On 2019-10-26 at 03:07:39, Ingo Wolf wrote:
> Hi,
> Git Windows somehow does not work with a Webdav Workdir even wenn
> connected to a Drive-Letter.
> It seems like everything work except stat.
> So I can checkout to the Webdav Workdir and all the files are checked out,
> but git status says the files are deleted even still there.
> I can also commit the files, but next git status says deleted again.
> When I checkout the files again checkout says error files exist.
> This is somehow strange.
> Unfortunately I still can't add a not empty worktree, my workaround is
> add the worktree to another dir and then move the .git file and edit
> the dir name in the worktrees/xyz folder.
> But now I have the strange Webdav Problem...

Knowing how WebDAV works under the hood, I'm not entirely surprised that
you're having this problem.  WebDAV is an okay file transfer protocol,
but it's not very good for expressing rich file system semantics.  Git
expects a file system that provides most of the POSIX guarantees, case
sensitivity excepted, and I'm not sure that WebDAV can provide those.

You can try a couple of things which might help.  You can set
core.trustctime to "false" and core.checkStat to "minimal", which may
help with the inconsistent stat information.  It's also possible that
your WebDAV server has a flaky network connection or is nonconformant,
which happens sometimes, so you could try a different WebDAV server
implementation or a different server.

If none of these seem to work, then you'll probably have to come up with
a solution that doesn't involve using repositories or worktrees on a
WebDAV mount.
-- 
brian m. carlson: Houston, Texas, US
OpenPGP: https://keybase.io/bk2204

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 868 bytes --]