Re: WebDav WorkDir Windows not working
- From
brian m. carlson <sandals@crustytoothpaste.net>
- Date
- Oct 27, 2019, 17:58 UTC
- Message-ID
- <20191027175850.b6le5r3jf3cxtnah@camp.crustytoothpaste.net>
- In-Reply-To
- <6c355683-726d-c497-d5df-bb7f8ea770d2@gmx.de>
On 2019-10-26 at 03:07:39, Ingo Wolf wrote:
Show 13 quoted lines
> 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