-
Notifications
You must be signed in to change notification settings - Fork 95
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
Increase scrollback to 1000 #143
Conversation
Alleviates jupyterlab/jupyterlab#10633. A full solution should take the users choice of scrollback history length into consideration rather than setting a constant value of "maxlen" on line 44.
As the author of #127, I had considered this when submitting this PR
Therefore, for this problem, I think you can appropriately adjust the maxlen to 200 or 500 or more, but over 10,000 may not be a good choice. |
I dropped the value to 800 and it still seems to greatly alleviate the issue I linked. |
I think for those kind of need the best answer is no absolute answer - aka making it configurable. See the best would be to add a new setting in terminado/terminado/management.py Line 157 in 8a83374
That can be passed to terminado/terminado/management.py Line 41 in 8a83374
It will then be possible to add a new configurable trait in Jupyter server to tune the value (transferring it to |
I agree. The user can decide how much content to cache, especially since Jupyterhub and other similar sites have We can implement this in jupyter_server_terminal, configure terminado when jupyter_server_terminal is enabled |
Thanks for pointing that project (I was not aware of it). Is the plan to make |
Yes, you can refer this jupyter-server/jupyter_server#651 jupyter_server_terminal is designed to replace the |
The default in |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! Windows failures are unrelated
Alleviates jupyterlab/jupyterlab#10633.
A full solution should take the users choice of scrollback history length into consideration rather than setting a constant value of "maxlen" on line 44.