Export All Option

From @rine in Discord: https://discord.com/channels/857305113936134204/876918592313110608/937289625146372156

“fan service for the paranoid: export all spaces (zipped jsons?). I do it with the api, but built-in sounds nicer?”

For less technically inclined (like me) a zip with folders for each space and txt files for each card or a text file for each space with cards separated by double returns, could be interesting.

3 Likes

having the cards separated by line breaks might be more readable in a space with lots of sentence-like cards

1 Like

implementation notes to self:

in space -> export

Screen Shot 2022-01-31 at 11.04.49 AM

change this to 2 buttons: ‘download space’ and ‘download all spaces’. both of which downloads a zip file with Both json and txt.

  • may have to switch to generating downloads from the server (add GET /space/export endpoint)
  • figure out how this works for local-only spaces
2 Likes

Agreed, got to that point as I was thinking/typing but was too lazy to delete the previous line.

2 Likes

working on this next

2 Likes

stubbing ui out for:

signed out users:

signed in users:

2 Likes

the regression/difference is that signed out users can no longer dl space txt files. and all users can’t dl txt files seperately, which I think will be an okay/unnoticed compromise irl

1 Like

this is now live, happy exporting :slight_smile:

1 Like

I got an error after clicking Download All Spaces and waiting for a minute or so:

does this happen on all browsers for you? can you send me the network tab item in the browser that failed too? are you on your work vpn?

i can’t repro this cors error in production for safari, chromium, or ff

1 Like