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

ReadTheDocs lags behind repo contents #109

Closed
betatim opened this issue Aug 3, 2018 · 4 comments
Closed

ReadTheDocs lags behind repo contents #109

betatim opened this issue Aug 3, 2018 · 4 comments

Comments

@betatim
Copy link
Member

betatim commented Aug 3, 2018

http://the-littlest-jupyterhub.readthedocs.io/ seems to lag behind the [docs in this repository.

In particular I followed http://the-littlest-jupyterhub.readthedocs.io/en/latest/howto/notebook-interfaces.html#changing-the-default-user-interface which didn't seem to do anything.

But trusting the docs I then started doubting if I had indeed restarted the hub (no visual feedback when you do it from the terminal inside your notebook server). I then became unsure about when precisely I'd see the change take effect (hub restart? hub and then single user server restart?).

After all this I tried to look at the code but it isn't super easy to find what the option should be. Though a quick grep confirmed that it probably wasn't what was written on RTD. In the end I found https://github.com/jupyterhub/the-littlest-jupyterhub/blob/master/docs/howto/notebook-interfaces.rst#changing-the-default-user-interface which works but is different from RTD. Which is the whole point of this issue.

Is this lag on purpose or accidental? I think until there is a release and some stability it would be good to keep the rendered HTML up-to-date. This lead me to make #107.

ps. should there be a new issue about increasing visual feedback about hub restarts/new config being taken into account?

@yuvipanda
Copy link
Collaborator

This looks accidental. I've added the other JupyterHub team members to RTD if they wanna take a look. I'm missing some users' RTD usernames tho - @jzf2101 and @consideRatio I think.

@yuvipanda
Copy link
Collaborator

@betatim yes, open another issue :)

@yuvipanda
Copy link
Collaborator

@betatim betatim closed this as completed Aug 5, 2018
@betatim
Copy link
Member Author

betatim commented Aug 5, 2018

Thank you, new issue is #112

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

No branches or pull requests

2 participants