From 2a4f37cb16a4dc429c47c91a7f148b519ea3d1a7 Mon Sep 17 00:00:00 2001 From: Aaron Jacobs Date: Thu, 28 Aug 2025 16:07:12 -0400 Subject: [PATCH] Add support for determining the right Linux binary URL for Pop!_OS. This commit is a simple fix that ensures we can generate the right Linux binary URLs for Pop!_OS users. Pop OS is a fairly popular desktop distro that is binary-compatible with Ubuntu, so e.g. `jammy` binaries work out of the box. We never had to worry about detecting this distro for Workbench because it's desktop-only, but it's nice to wire things up in Ark to benefit desktop Positron users (like me!) on Pop OS. Signed-off-by: Aaron Jacobs --- crates/ark/src/repos.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/ark/src/repos.rs b/crates/ark/src/repos.rs index 970e547de..3d5a1b672 100644 --- a/crates/ark/src/repos.rs +++ b/crates/ark/src/repos.rs @@ -254,7 +254,7 @@ fn get_ppm_linux_repo(repo_url: Option, linux_name: String) -> anyhow: #[cfg(target_os = "linux")] fn get_p3m_linux_codename(id: String, version: String, version_codename: String) -> String { // For Debian and Ubuntu, we can just use the codename - if id == "debian" || id == "ubuntu" { + if id == "debian" || id == "ubuntu" || id == "pop" { return version_codename.to_string(); } else if id == "rhel" { // For RHEL, we use the id and major version number