Pop!OS support (same as ubuntu) #2417 (#2420)

This commit is contained in:
Maciej Wakuła 2023-03-09 23:19:02 +01:00 committed by GitHub
parent 7f04a4407b
commit 59497ed53c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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"