From 78a0bb8f80bb25b61c9a17d542d3dfe80b3b0cfd Mon Sep 17 00:00:00 2001
From: Henrique Cunha <henriquecunhawd@gmail.com>
Date: Sun, 23 Jun 2019 12:41:51 -0300
Subject: [PATCH] Updated idt-installer

Made Pop!_OS compatible with the apt-get installation.
---
 linux-installer/idt-installer | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux-installer/idt-installer b/linux-installer/idt-installer
index 832ff44..15e5572 100755
--- a/linux-installer/idt-installer
+++ b/linux-installer/idt-installer
@@ -117,7 +117,7 @@ function install_deps {
       install_darwin_deps
     ;;
   "Linux")
-    if [[ "${DISTRO}" == *Ubuntu* || "${DISTRO}" == *Debian* ]]; then
+    if [[ "${DISTRO}" == *Ubuntu* || "${DISTRO}" == *Debian* || "${DISTRO}" == *Pop!_OS* ]]; then
       install_deps_with_apt_get
     elif [[ "${DISTRO}" == *Red*Hat* || "${DISTRO}" == *CentOS* || "${DISTRO}" == *RHEL* || "${DISTRO}" == *Fedora* ]]; then
       install_deps_with_yum