Ignore lints

dsherret · Jan 26, 2024 · 9a157cd · 9a157cd
1 parent c8662bc
commit 9a157cd
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/console/utils.ts b/src/console/utils.ts
@@ -73,7 +73,12 @@ export const isOutputTty = safeConsoleSize() != null && isTerminal(Deno.stderr);
 function isTerminal(pipe: { isTerminal?(): boolean; rid?: number }) {
   if (typeof pipe.isTerminal === "function") {
     return pipe.isTerminal();
-  } else if (pipe.rid != null && typeof Deno.isatty === "function") {
+  } else if (
+    pipe.rid != null &&
+    // deno-lint-ignore no-deprecated-deno-api
+    typeof Deno.isatty === "function"
+  ) {
+    // deno-lint-ignore no-deprecated-deno-api
     return Deno.isatty(pipe.rid);
   } else {
     throw new Error("Unsupported pipe.");