Rename dev servers to remote projects in UI (#19527)

Release Notes:

- N/A

Co-authored-by: Mikayla <mikayla@zed.dev>
This commit is contained in:
Conrad Irwin 2024-10-21 16:50:25 -06:00 committed by GitHub
parent 9bae93cd39
commit 6e485453d0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 62 additions and 49 deletions

View file

@ -186,7 +186,7 @@ impl SshConnectionOptions {
// Uniquely identifies dev server projects on a remote host. Needs to be
// stable for the same dev server project.
pub fn dev_server_identifier(&self) -> String {
pub fn remote_server_identifier(&self) -> String {
let mut identifier = format!("dev-server-{:?}", self.host);
if let Some(username) = self.username.as_ref() {
identifier.push('-');