Local doc backup

[kleineLoesungen]

Describe the solution you'd like Download markdown documents of filtered history to selected local folder

Describe alternatives you've considered Download at default Download folder

[davidmehren]

Please follow the complete issue template in the future, thank you.

You can already use https://github.com/hedgedoc/cli to download notes to markdown files.

As you talk about filters, you seem to want a button for that in the frontend. I'm not sure if browsers allow downloading multiple files in bulk/in a short timeframe. Maybe @hedgedoc/frontend has an idea? In any case, downloading would only be possible to your Downloads folder, as a web application in a normal browser cannot write into arbitrary locations on disk.

[mrdrogdrog]

We could create a zip file (in frontend or backend)

[mrdrogdrog]

You are allowed to download multiple files but the browser will warn you after the first file. An archive would make more sense.

[davidmehren]

I think filtering takes place in the frontend, right? Would it make sense to move this issue to the frontend and use it to track a "download these notes" button, and then open another issue here to track implementation of a "give me these notes in a zip" API?