diff options
| author | ruki <[email protected]> | 2021-02-02 22:45:27 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2021-02-02 22:45:27 +0800 |
| commit | cc10a0504570a3b5b90e3b490290e9a884337fc4 (patch) | |
| tree | bea492fb278e04cd3e4230736736499233a4223e /xmake/core/base/linuxos.lua | |
| parent | e3c75c0409b04441ff4a65ff675edb9af8c958ef (diff) | |
add linux mint to linuxos
Diffstat (limited to 'xmake/core/base/linuxos.lua')
| -rw-r--r-- | xmake/core/base/linuxos.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/xmake/core/base/linuxos.lua b/xmake/core/base/linuxos.lua index 3e4b94e41..0caa6e1a5 100644 --- a/xmake/core/base/linuxos.lua +++ b/xmake/core/base/linuxos.lua @@ -85,7 +85,7 @@ function linuxos.name() local os_release = io.readfile("/etc/os-release") if os_release then os_release = os_release:trim():lower() - if os_release:find("arch linux", 1, true) then + if os_release:find("arch linux", 1, true) or os_release:find("archlinux", 1, true) then name = "archlinux" elseif os_release:find("fedora", 1, true) then name = "fedora" @@ -93,6 +93,8 @@ function linuxos.name() name = "ubuntu" elseif os_release:find("debian", 1, true) then name = "debian" + elseif os_release:find("linux mint", 1, true) or os_release:find("linuxmint", 1, true) then + name = "linuxmint" end end end |