diff options
| author | notgne2 | 2020-11-24 22:13:33 -0700 |
|---|---|---|
| committer | notgne2 | 2020-11-24 22:13:36 -0700 |
| commit | 3da8c6d048be03ecaf5caa54d945740ab88be465 (patch) | |
| tree | 5e1e07964dc098bedf3d851680a9aae534a3605a /src/main.rs | |
| parent | 42cbe751a860470cc8fd36f9e105566b97b6a2ff (diff) | |
Fix ProfileNotFound error message
Diffstat (limited to '')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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), |