![]() Prerequisite for https://github.com/zed-industries/zed/pull/36576 to allow us to differentiate the shell in a remote. Release Notes: - N/A |
||
---|---|---|
.. | ||
json_log.rs | ||
protocol.rs | ||
proxy.rs | ||
remote.rs | ||
ssh_session.rs |
![]() Prerequisite for https://github.com/zed-industries/zed/pull/36576 to allow us to differentiate the shell in a remote. Release Notes: - N/A |
||
---|---|---|
.. | ||
json_log.rs | ||
protocol.rs | ||
proxy.rs | ||
remote.rs | ||
ssh_session.rs |