Make clippy happy on Windows (#5644)

pull/5646/head
Jonathan LEI 1 year ago committed by GitHub
parent 5c6b7127f8
commit 769fb5fe97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -296,10 +296,10 @@ pub fn get_terminal_provider() -> Option<TerminalConfig> {
}); });
} }
return Some(TerminalConfig { Some(TerminalConfig {
command: "conhost".to_string(), command: "conhost".to_string(),
args: vec!["cmd".to_string(), "/C".to_string()], args: vec!["cmd".to_string(), "/C".to_string()],
}); })
} }
#[cfg(not(any(windows, target_os = "wasm32")))] #[cfg(not(any(windows, target_os = "wasm32")))]

Loading…
Cancel
Save