Automatic SSH reconnect

[neongreen]

Discord username (optional)

No response

Describe the solution you'd like?

Currently if I'm in an SSH session and I close my laptop, after re-opening it I might get "broken pipe" or just a stuck session.

I'd love if Warp's custom SSH support had auto-reconnect. I know that Mosh exists, but having this built-in without having to install Mosh on the server would be much nicer.

Is your feature request related to a problem? Please describe.

No response

Additional context

No response

[micahjon]

Reconnecting automatically aside, does anybody know how to keep using a Warp tab (to manually reconnect) after an SSH session disconnects and the client_loop: send disconnect: Broken pipe error occurs? I've tried pressing ctrl c on my Mac to no avail and have to create a new tab to keep working.

Not a dealbreaker, but definitely an ergonomic issue for those of us coming from iTerm. Thanks!

[elviskahoro]

Thanks for the idea.
We're tracking stuff like this here, gonna migrate what you have over:
#442

[warpdotdev-devx]

Can you add a comment here: GitHub discussion on Remote connection management for SSH: #442

…

--- original message --- On April 15, 2022, 6:47 PM EDT ***@***.*** wrote: Discord username (optional) No response Describe the solution you'd like? Currently if I'm in an SSH session and I close my laptop, after re-opening it I might get "broken pipe" or just a stuck session. I'd love if Warp's custom SSH support had auto-reconnect. I know that Mosh exists, but having this built-in without having to install Mosh on the server would be much nicer. Is your feature request related to a problem? Please describe. No response Additional context No response — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

-- You received this message because you are subscribed to the Google Groups "github" group. To unsubscribe from this group and stop receiving emails from it, send an email to ***@***.*** --- end of original message ---