encounter
/
objdiff
mirror of https://github.com/encounter/objdiff.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Strip distro root prefix (#58)

This commit is contained in:
Aetias 2024-05-16 02:56:08 +02:00 committed by GitHub
parent b457453639
commit db726a68a6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
objdiff-gui/src/jobs/objdiff.rs
View File

@ -116,6 +116,13 @@ fn run_make_cmd(config: &BuildConfig, cwd: &Path, arg: &Path) -> Result<BuildSta
Command::new(make) Command::new(make)
}; };
if let Some(distro) = &config.selected_wsl_distro { if let Some(distro) = &config.selected_wsl_distro {
// Strip distro root prefix \\wsl.localhost\{distro}
let wsl_path_prefix = format!("\\\\wsl.localhost\\{}", distro);
let cwd = match cwd.strip_prefix(wsl_path_prefix) {
Ok(new_cwd) => format!("/{}", new_cwd.to_slash_lossy().as_ref()),
Err(_) => cwd.to_string_lossy().to_string(),
};
command command
.arg("--cd") .arg("--cd")
.arg(cwd) .arg(cwd)