allow directly editing items from the profile selector - fixes #6039

This commit is contained in:
Eugene Pankov
2022-04-15 19:45:30 +02:00
parent 358a7563f6
commit 7016688170
6 changed files with 36 additions and 3 deletions

View File

@@ -141,4 +141,15 @@ export class SSHProfilesService extends ProfileProvider<SSHProfile> {
},
}
}
intoQuickConnectString (profile: SSHProfile): string|null {
let s = profile.options.host
if (profile.options.user !== 'root') {
s = `${profile.options.user}@${s}`
}
if (profile.options.port !== 22) {
s = `${s}:${profile.options.port}`
}
return s
}
}