Merge 9805802d71
into d9301254ff
This commit is contained in:
commit
1ad34c938a
|
@ -48,7 +48,11 @@ def get_os_name():
|
|||
if OS.startswith('linux'):
|
||||
DISTRO = platform.linux_distribution()[0]
|
||||
if DISTRO:
|
||||
OS = OS + "-%s" % DISTRO.split()[0].lower()
|
||||
OS = OS + "-%s" % DISTRO.split()[0].lower()
|
||||
# add archlinux manually, for more information
|
||||
# see commit afb28d87af13a8e91e6115112b361e8ae8ac7167
|
||||
if os.path.exists('/etc/arch-release'):
|
||||
OS = "linux-arch"
|
||||
|
||||
return OS
|
||||
|
||||
|
|
Loading…
Reference in New Issue