Thanks, juanito for your support! After some fiddling, the extension does work well on piCore-13.0.3.
Three things need to be done and could be added to it in order to make it work according to its standard configuration file:
- fuse or fuse3 is a necessary dependency
- The user davfs2 should exist: adduser -SH davfs2
- The group davfs2 should exist: addgroup -S davfs2
After that, WebDAV-shares can be mounted. It seems that it does not recognize personalized secrets-files under /root/.davfs2 or ~tc/.davfs2. The only way I could get it to respect a secrets file was over-writing the system-wide /usr/local/etc/davfs2/secrets (which has to be included in .filetool.st.
Ctrl-A + Ctrl-C + Post (: