diff --git a/Utility/IsWebdavMounted.sh b/Utility/IsWebdavMounted.sh new file mode 100644 index 0000000..b9f5cc3 --- /dev/null +++ b/Utility/IsWebdavMounted.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +is_webdav_mounted() { + local mount_point="$1" + if mount | grep -q "on $mount_point type davfs"; then + return 0 # WebDAV ist gemountet + else + return 1 # WebDAV ist nicht gemountet + fi +}