From aa8e379a7ab9c29141413083529e444ebe4acf08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?F=C3=A1bio=20Corr=C3=AAa?= <feamcor@gmail.com>
Date: Sat, 20 Jan 2024 14:48:32 -0300
Subject: [PATCH] Added Pop!_OS to setup_linux.sh script. Pop!_OS is an
 Ubuntu/Debian based distro.

---
 dev-setup/setup_linux.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/dev-setup/setup_linux.sh b/dev-setup/setup_linux.sh
index ef869cc1..da721cd7 100755
--- a/dev-setup/setup_linux.sh
+++ b/dev-setup/setup_linux.sh
@@ -13,7 +13,7 @@ if [[ "$(uname)" != "Linux" ]]; then
     exit 1
 fi
 
-if ! lsb_release -d | grep -qEi 'debian|buntu|mint' && [ -z "$(command -v dnf)" ]; then
+if ! lsb_release -d | grep -qEi 'debian|buntu|mint|pop\!\_os' && [ -z "$(command -v dnf)" ]; then
     echo Not a supported Linux
     exit 1
 fi
@@ -128,5 +128,3 @@ while true; do
     * ) echo invalid response;;
     esac
 done
-
-