aboutsummaryrefslogtreecommitdiff
path: root/src/push.rs
diff options
context:
space:
mode:
authorRoman Melnikov2023-04-21 15:54:10 +0800
committerGitHub2023-04-21 15:54:10 +0800
commitc2ea4e642dc50fd44b537e9860ec95867af30d39 (patch)
tree4fe6236b5c2e0c0a46c519243b2693062414e722 /src/push.rs
parent8c9ea9605eed20528bf60fae35a2b613b901fd77 (diff)
parent55aac55cfafec93938e19a6b475142d81110b3d4 (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.rs14
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(" ");