Skip to content

Is there a way to add a reconnect button to the terminal? #5396

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.

Sign up for GitHub

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

Jump to bottom
Closed
ElliotG opened this issue Dec 13, 2022 · 3 comments · Fixed by #5969
Closed

Is there a way to add a reconnect button to the terminal? #5396

ElliotG opened this issue Dec 13, 2022 · 3 comments · Fixed by #5969
Assignees
@BrunoQuaresma
Labels
site Area: frontend dashboard

Comments

@ElliotG
Copy link
Contributor

ElliotG commented Dec 13, 2022

When the terminal is disconnected, we add a big "Disconnected" banner. Could we make this interact-able and have a way to refresh the connection?

Screen Shot 2022-12-12 at 11 19 22 PM
@ElliotG
Copy link
Contributor Author

ElliotG commented Dec 13, 2022 •
edited
Loading

Wait, it looks like refreshing the page does the reconnect. While awesome, we should make this more discoverable

@kylecarbs
Copy link
Member

Certainly agree with this... I don't know why I didn't add a reconnect button when I created this feature...

@kylecarbs kylecarbs added good-first-issue site Area: frontend dashboard labels Dec 13, 2022
@mattlqx
Copy link

mattlqx commented Dec 14, 2022

Or just any key input would try to reconnect automatically?

@BrunoQuaresma BrunoQuaresma self-assigned this Feb 1, 2023
@BrunoQuaresma BrunoQuaresma mentioned this issue Feb 1, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@BrunoQuaresma BrunoQuaresma

Labels
site Area: frontend dashboard
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

refactor(site): Add press any key option to reconnect coder/coder
4 participants
@mattlqx @ElliotG @BrunoQuaresma @kylecarbs