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

..

src

Remote: Change "sh -c" to "sh -lc" to make config in $HOME/.profile effective (#36760)

2025-08-25 21:40:53 -06:00

Cargo.toml

Default to cargo-zigbuild for ZED_BUILD_REMOTE_SERVER (#33391)

2025-06-25 16:49:37 +00:00

LICENSE-GPL

Add the ability to edit remote directories over SSH (#14530)

2024-07-19 10:27:26 -07:00