Skip to content

Conversation

kevin-bates
Copy link
Member

This PR brings the commits associated with Notebook PRs jupyter/notebook#5565 and jupyter/notebook#5588. Originally, we just recorded the need to port 5565, but 5588 was the final outcome.

We can then look at addressing #342 following this update.

@Zsailer
Copy link
Member

Zsailer commented Dec 1, 2020

Thanks, @kevin-bates

@Zsailer Zsailer merged commit 679683c into jupyter-server:master Dec 1, 2020
@kevin-bates kevin-bates deleted the port-5565-5588 branch January 14, 2021 15:52
Zsailer added a commit to Zsailer/jupyter_server that referenced this pull request Nov 18, 2022
hMED22 pushed a commit to hMED22/jupyter_server that referenced this pull request Jan 23, 2023
Port Notebook PRs 5565 and 5588 - terminal shell heuristics
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.

3 participants