app: the prover's WSL probe runs hidden (it opened a console window on PC 2 once a minute)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
parent
65cb2e68b9
commit
9835f493c7
1 changed files with 3 additions and 1 deletions
|
|
@ -157,7 +157,9 @@ fn find_tools(bin_dir: &Path) -> Result<Tools, String> {
|
|||
// from Ubuntu as /mnt/<drive>/.../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");
|
||||
|
|
|
|||
Loading…
Reference in a new issue