From 59497ed53cafb4c2431118be3d63c6f7927c06a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Waku=C5=82a?= <maciej.wakula+github@gmail.com>
Date: Thu, 9 Mar 2023 23:19:02 +0100
Subject: [PATCH] Pop!OS support (same as ubuntu) #2417 (#2420)

---
 deploy/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy/install.sh b/deploy/install.sh
index 4eeee3ee67..e8a14a5821 100755
--- a/deploy/install.sh
+++ b/deploy/install.sh
@@ -51,7 +51,7 @@ check_os() {
     os_name="$(cat /etc/*-release | awk -F= '$1 == "NAME" { gsub(/"/, ""); print $2; exit }')"
 
     case "$os_name" in
-        Ubuntu*)
+        Ubuntu*|Pop!_OS)
             desired_os=1
             os="ubuntu"
             package_manager="apt-get"