Unmounting with umount works if you maintain an entry like the following
in /etc/fstab
# <file system> <mount point> <type> <options> <dump> <pass>
https://server/share /mnt/point davfs rw,users,noauto 0 0
It is important to use option "users" and not "user".
Option "user" will only allow root to unmount with umount,
while option "users" will allow any user to unmount.
If the option "user" is chosen you still can unmount using
fusermount -u.
I suggest to close the ticket.
Best regards
Heinrich Schuchardt
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org