at 17.09-beta 22 lines 627 B view raw
1diff --git a/tools/get_platform.py b/tools/get_platform.py 2index 3dd34516..f53ca83a 100644 3--- a/tools/get_platform.py 4+++ b/tools/get_platform.py 5@@ -26,6 +26,8 @@ DEBIAN_VERSION = "/etc/debian_version" 6 GENTOO_RELEASE = "/etc/gentoo-release" 7 8 def _platform(): 9+ return ("nixos", "nixos") 10+ 11 osType, _, _, _, _, _ = platform.uname() 12 13 if osType == "Windows": 14@@ -75,6 +77,8 @@ def _platform(): 15 return (None, osType.lower()) 16 17 def _distro(osType): 18+ return "unknown_version" 19+ 20 def getRedhatDistroVersion(pattern): 21 with open(SYSTEM_RELEASE, "r") as fd: 22 contents = fd.read()