如何获取emacs（使用TRAMP）在WebDAV共享上编辑/保存文件？

Question

所以我在我的笔记本电脑上运行的虚拟机上获得了WebDAV共享。我想通过emacs连接到它，编辑文件，然后保存。不幸的是，每当我尝试连接到文件时，TRAMP都会给我一个错误。错误是＆＃34; Host＃blah＃看起来像一个远程主机，`dav＆＃39;只能使用本地主机＆＃34;。我正在使用的连接字符串（只是轻度匿名）是＆＃34; / dav：10.0.6.12＃8000：/folder/another/weeee/doc.txt"。