You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: checks/linux.py
+14-8Lines changed: 14 additions & 8 deletions
Original file line number
Diff line number
Diff line change
@@ -51,8 +51,14 @@ def checkDistro(lines):
51
51
distro=isDistroNix[0].split()
52
52
distro=distro[2:]
53
53
distro=' '.join(distro)
54
+
distroHelp=''
54
55
55
-
return [LEVEL_INFO, distro, ""]
56
+
# this is logged when the file can't be found at all
57
+
ifdistro=='Missing /etc/os-release !':
58
+
distro='(Missing)'
59
+
distroHelp='No distribution detected. This can lead to undefined behavior. Please consult your distribution\'s support channels on how to fix this.<br>'
# can happen with misconfigured or virtual systems
196
202
displayServer='⚠️ None'
197
-
linuxSystemInfoHelp+='No Display Server detected. This can lead to undefined behaviour. Please consult your Desktop Environment\'s or Window Manager\'s support channels on how to fix this.<br>'
203
+
linuxSystemInfoHelp+='No Display Server detected. This can lead to undefined behavior. Please consult your Desktop Environment\'s or Window Manager\'s support channels on how to fix this.<br>'
# can happen for some misconfigured tiling window managers
203
209
desktopEnvironment='DE: ⚠️ None'
204
-
linuxSystemInfoHelp+='No Desktop Environment detected. This can lead to undefined behaviour. Please consult your Desktop Environment\'s or Window Manager\'s support channels on how to fix this.'
210
+
linuxSystemInfoHelp+='No Desktop Environment detected. This can lead to undefined behavior. Please consult your Desktop Environment\'s or Window Manager\'s support channels on how to fix this.'
0 commit comments