Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make repl archive accessible #3415

Closed
wants to merge 5 commits into from
Closed

Make repl archive accessible #3415

wants to merge 5 commits into from

Conversation

sanderhahn
Copy link
Contributor

Access an archive of your repls using the console. Not sure how to proceed with the interface... so ideas are welcome. Fixes #3019

@sanderhahn
Copy link
Contributor Author

Removed the menu item again and instead added an httponly jwt_token cookie. This makes the repl archive accessible using /repl/archive.json as a temp workaround without requiring any ui changes.

@sanderhahn sanderhahn changed the title Access repl archive in console Make repl archive accessable Aug 17, 2019
@sanderhahn sanderhahn changed the title Make repl archive accessable Make repl archive accessible Aug 17, 2019
@Rich-Harris
Copy link
Member

thank you! This is sorely needed. FYI I'm looking into switching from JWT to cookies so that all this becomes a bit more straightforward — #3420

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Feature Request: List saved repls
2 participants