Merge pull request #5374 from piperswe/patch-1

Add Pop!_OS compatibility
commercialhaskell · Sep 21, 2020 · 3c6a5d7 · 3c6a5d7
2 parents c66dade + 8832b19
commit 3c6a5d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/scripts/get-stack.sh b/etc/scripts/get-stack.sh
@@ -449,7 +449,7 @@ GETDISTRO
   fi
 
   case "$DISTRO" in
-    ubuntu|linuxmint|elementary|neon)
+    ubuntu|linuxmint|elementary|neon|pop)
       do_ubuntu_install "$VERSION"
       ;;
     debian|kali|raspbian|mx)