Hard-code the /tmp/ directory location.

Sindri-Labs · Feb 24, 2024 · 2e15be1 · 2e15be1
1 parent 78b80ff
commit 2e15be1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/cli/lint.ts b/src/cli/lint.ts
@@ -1,7 +1,6 @@
 import assert from "assert";
 import { randomUUID } from "crypto";
 import { existsSync, readFileSync, unlinkSync } from "fs";
-import os from "os";
 import path from "path";
 import process from "process";
 
@@ -195,7 +194,8 @@ export const lintCommand = new Command()
           "Running static analysis with Circomspect by Trail of Bits...",
         );
         const sarifFile = path.join(
-          os.tmpdir(),
+          "/",
+          "/tmp/",
           "sindri",
           `circomspect-${randomUUID()}.sarif`,
         );

diff --git a/src/cli/utils.ts b/src/cli/utils.ts
@@ -299,7 +299,7 @@ export async function execDockerCommand(
               // Circuit project root.
               `${mountDirectory}:/sindri`,
               // Shared temporary directory.
-              `${os.tmpdir()}/sindri/:/tmp/sindri/`,
+              `/tmp/sindri/:/tmp/sindri/`,
             ],
           },
           OpenStdin: tty,