From b0cc72d0c270a2fb040c7ffc5a1bdcac50b8c609 Mon Sep 17 00:00:00 2001 From: jbs Date: Mon, 12 Feb 2024 13:42:08 -0800 Subject: [PATCH] pop!_os synonym for ubuntu. Use deb package manager. Summary: Use Deb package manager on Pop! OS. X-link: https://github.com/facebook/folly/pull/2135 Reviewed By: Gownta Differential Revision: D53441949 Pulled By: Orvid fbshipit-source-id: a88f01aa5d251a57005a050c0fd7068f187a15a8 --- build/fbcode_builder/getdeps/platform.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/fbcode_builder/getdeps/platform.py b/build/fbcode_builder/getdeps/platform.py index d8ac41b46..7f0cb502b 100644 --- a/build/fbcode_builder/getdeps/platform.py +++ b/build/fbcode_builder/getdeps/platform.py @@ -270,7 +270,7 @@ class HostType(object): return "homebrew" if self.distro in ("fedora", "centos", "centos_stream"): return "rpm" - if self.distro.startswith(("debian", "ubuntu")): + if self.distro.startswith(("debian", "ubuntu", "pop!_os")): return "deb" return None