![]() 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. |
||
---|---|---|
.. | ||
json_log.rs | ||
protocol.rs | ||
proxy.rs | ||
remote.rs | ||
ssh_session.rs |