WebDAVへのファイル送信はcurlで

https://tech.blog.home.group.jp/archives/17 とあったが、RedHat系しか今のところサポートされていないようなので、挫折。管理が面倒なので、安定しているパッケージ版を使いたいという気持ちが勝った。
それで、curlを使うことにした。