From 3da8c6d048be03ecaf5caa54d945740ab88be465 Mon Sep 17 00:00:00 2001 From: notgne2 Date: Tue, 24 Nov 2020 22:13:33 -0700 Subject: Fix ProfileNotFound error message --- src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/main.rs b/src/main.rs index 29da6ea..2381103 100644 --- a/src/main.rs +++ b/src/main.rs @@ -312,7 +312,7 @@ enum RunDeployError { DeployProfileError(#[from] utils::deploy::DeployProfileError), #[error("Failed to push profile: {0}")] PushProfileError(#[from] utils::push::PushProfileError), - #[error("Failed to deploy all profiles: {0}")] + #[error("No profile names `{0}` was found")] ProfileNotFound(String), #[error("No node named `{0}` was found")] NodeNotFound(String), -- cgit v1.2.3