diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/main.ts | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 191960960..4eaaed62b 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -340,7 +340,7 @@ async function getServer(config: Config, state: PersistentState): Promise<string | |||
340 | }); | 340 | }); |
341 | 341 | ||
342 | // Patching executable if that's NixOS. | 342 | // Patching executable if that's NixOS. |
343 | if (await fs.stat("/etc/nixos").then(_ => true).catch(_ => false)) { | 343 | if (await isNixOs()) { |
344 | await patchelf(dest); | 344 | await patchelf(dest); |
345 | } | 345 | } |
346 | 346 | ||
@@ -348,6 +348,15 @@ async function getServer(config: Config, state: PersistentState): Promise<string | |||
348 | return dest; | 348 | return dest; |
349 | } | 349 | } |
350 | 350 | ||
351 | async function isNixOs(): Promise<boolean> { | ||
352 | try { | ||
353 | const contents = await fs.readFile("/etc/os-release"); | ||
354 | return contents.indexOf("ID=nixos") !== -1; | ||
355 | } catch (e) { | ||
356 | return false; | ||
357 | } | ||
358 | } | ||
359 | |||
351 | async function downloadWithRetryDialog<T>(state: PersistentState, downloadFunc: () => Promise<T>): Promise<T> { | 360 | async function downloadWithRetryDialog<T>(state: PersistentState, downloadFunc: () => Promise<T>): Promise<T> { |
352 | while (true) { | 361 | while (true) { |
353 | try { | 362 | try { |