diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index dbb2411921..42685e0c76 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -280,7 +280,7 @@ async function getServer(config: Config, state: PersistentState): Promise true).catch(_ => false)) { + if (await fs.stat("/etc/nixos").then(_ => true).catch(_ => false)) { await patchelf(dest); }