Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/main.ts')
| -rw-r--r-- | editors/code/src/main.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 3f9f0b3376..4856079f68 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -269,7 +269,8 @@ function serverPath(config: Config): string | null { async function isNixOs(): Promise<boolean> { try { const contents = (await vscode.workspace.fs.readFile(vscode.Uri.file("/etc/os-release"))).toString(); - return contents.indexOf("ID=nixos") !== -1; + const idString = contents.split('\n').find((a) => a.startsWith("ID=")); + return idString?.toLowerCase()?.indexOf("nixos") !== -1; } catch { return false; } |