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