diff options
author | Roman Melnikov | 2023-04-21 15:54:10 +0800 |
---|---|---|
committer | GitHub | 2023-04-21 15:54:10 +0800 |
commit | c2ea4e642dc50fd44b537e9860ec95867af30d39 (patch) | |
tree | 4fe6236b5c2e0c0a46c519243b2693062414e722 /src/push.rs | |
parent | 8c9ea9605eed20528bf60fae35a2b613b901fd77 (diff) | |
parent | 55aac55cfafec93938e19a6b475142d81110b3d4 (diff) |
Merge pull request #198 from serokell/rvem/#197-fix-options-handling-with-remote-build
[#197] Fix hostname overriding for remote builds
Diffstat (limited to 'src/push.rs')
-rw-r--r-- | src/push.rs | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/push.rs b/src/push.rs index 6d9f10d..5158dc5 100644 --- a/src/push.rs +++ b/src/push.rs @@ -155,14 +155,12 @@ pub async fn build_profile_remotely(data: &PushProfileData<'_>, derivation_name: data.deploy_data.profile_name, data.deploy_data.node_name ); - let store_address = format!("ssh-ng://{}@{}", - if data.deploy_data.profile.generic_settings.ssh_user.is_some() { - &data.deploy_data.profile.generic_settings.ssh_user.as_ref().unwrap() - } else { - &data.deploy_defs.ssh_user - }, - data.deploy_data.node.node_settings.hostname - ); + // TODO: this should probably be handled more nicely during 'data' construction + let hostname = match data.deploy_data.cmd_overrides.hostname { + Some(ref x) => x, + None => &data.deploy_data.node.node_settings.hostname, + }; + let store_address = format!("ssh-ng://{}@{}", data.deploy_defs.ssh_user, hostname); let ssh_opts_str = data.deploy_data.merged_settings.ssh_opts.join(" "); |