ZIm/crates/remote/src
Rui Ning bf5ed6d1c9
Remote: Change "sh -c" to "sh -lc" to make config in $HOME/.profile effective (#36760)
Closes #ISSUE

Release Notes:

- The environment of original remote dev cannot be changed without sudo
because of the behavior of "sh -c". This PR changes "sh -c" to "sh -lc"
to let the shell source $HOME/.profile and support customized
environment like customized $PATH variable.
2025-08-25 21:40:53 -06:00
..
json_log.rs Improve ssh remote error handling and logging (#15035) 2024-07-23 13:29:56 -07:00
protocol.rs Another batch of lint fixes (#36521) 2025-08-19 20:33:44 +00:00
proxy.rs remote server: Do not spawn server when proxy reconnects (#18864) 2024-10-09 16:51:12 +02:00
remote.rs remote: Fetch shell on ssh remote to use for preparing commands (#36690) 2025-08-21 19:08:26 +02:00
ssh_session.rs Remote: Change "sh -c" to "sh -lc" to make config in $HOME/.profile effective (#36760) 2025-08-25 21:40:53 -06:00