Add explicit support for Rocky Linux

This commit is contained in:
2023-10-20 17:51:10 +08:00
parent 9d8d6e3293
commit 6e13602077

View File

@@ -249,6 +249,7 @@ data LinuxDistro = Debian
| RedHat | RedHat
| Alpine | Alpine
| AmazonLinux | AmazonLinux
| RockyLinux
-- rolling -- rolling
| Gentoo | Gentoo
| Exherbo | Exherbo
@@ -268,6 +269,7 @@ distroToString CentOS = "centos"
distroToString RedHat = "redhat" distroToString RedHat = "redhat"
distroToString Alpine = "alpine" distroToString Alpine = "alpine"
distroToString AmazonLinux = "amazon" distroToString AmazonLinux = "amazon"
distroToString RockyLinux = "rocky"
distroToString Gentoo = "gentoo" distroToString Gentoo = "gentoo"
distroToString Exherbo = "exherbo" distroToString Exherbo = "exherbo"
distroToString UnknownLinux = "unknown" distroToString UnknownLinux = "unknown"