Skip to content

Make Playground URL configurable #2199

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

Closed
hmn53 opened this issue Sep 22, 2023 · 1 comment
Closed

Make Playground URL configurable #2199

hmn53 opened this issue Sep 22, 2023 · 1 comment
Labels
C-enhancement Category: Enhancement or feature request

Comments

@hmn53
Copy link

hmn53 commented Sep 22, 2023

Problem

Hi! Thanks for this great project.

I have been using mdbook for quite some time now. As others have mentioned, sometimes the official playground server is down or slow. The projects I have been using with mdbook requires to run the code a lot of times, which becomes difficult sometimes due to timeout.

Also I have seen others mention that they want to run code for languages other than rust as well.

Proposed Solution

We can make the playground url inside book.js configurable so that the user can point it to some other playground or even to their own server.

Thanks for your time.

@hmn53 hmn53 added the C-enhancement Category: Enhancement or feature request label Sep 22, 2023
@ehuss
Copy link
Contributor

ehuss commented Sep 22, 2023

Thanks for the report! I believe this is a duplicate of #350, so closing in favor of that.

@ehuss ehuss closed this as not planned Won't fix, can't repro, duplicate, stale Sep 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-enhancement Category: Enhancement or feature request
Projects
None yet
Development

No branches or pull requests

2 participants