diff --git a/app/igneum-app/src/prover.rs b/app/igneum-app/src/prover.rs index d8526864..0f66f72a 100644 --- a/app/igneum-app/src/prover.rs +++ b/app/igneum-app/src/prover.rs @@ -157,7 +157,9 @@ fn find_tools(bin_dir: &Path) -> Result { // from Ubuntu as /mnt//.../wsl2/bin), else one built there by setup-wsl.sh let shipped = wsl_path(&bin_dir.join("wsl2").join("bin").join("igneum-prove-host")); let script = format!("for f in '{shipped}' ~/igneum-prove/target/release/igneum-prove-host /opt/igneum/igneum-prove-host; do [ -x \"$f\" ] && {{ echo \"$f\"; break; }}; done; command -v nvidia-smi >/dev/null && echo cuda"); - let probe = Command::new(crate::platform::tool("wsl")).args(["-d", "Ubuntu-24.04", "--", "bash", "-lc", &script]).output(); + let mut probe_cmd = Command::new(crate::platform::tool("wsl")); + probe_cmd.args(["-d", "Ubuntu-24.04", "--", "bash", "-lc", &script]); + let probe = crate::platform::quiet(&mut probe_cmd).output(); // hidden: this probe opened a console window on PC 2 every minute (5 October 2026) let text = probe.map(|o| String::from_utf8_lossy(&o.stdout).to_string()).unwrap_or_default(); let host = text.lines().find(|l| l.contains("igneum-prove-host")).map(|l| PathBuf::from(l.trim())); let setup = bin_dir.join("wsl2").join("setup-wsl.sh");