今さらながら失敗したファイルはキャッシュファイルとして .davfs2 以下にあるのを発見。サーバーの容量が妙に減るなと思ったら。 でもそれを操作する方法はない様子。手動でファイル取り出してリネームしてすればサルベージはできそうだ。 twitter.com/antungame/stat…