Merge branch 'main' into patch-1
Henning Dieterichs
2 years ago
committed by
GitHub
commit
2469088cc7
@ -0,0 +1,56 @@
|
||||
import { spawn } from "child_process";
|
||||
import { globSync } from "glob";
|
||||
import { exit } from "process";
|
||||
|
||||
(async () => {
|
||||
let someFileError = false;
|
||||
const files = globSync("src/website/data/playground-samples/*/*/*.js");
|
||||
type Result = { file: string; status: number; stdout: string };
|
||||
const promises: Promise<Result>[] = [];
|
||||
for (const file of files) {
|
||||
promises.push(
|
||||
new Promise<Result>((resolve) => {
|
||||
const process = spawn(
|
||||
"yarn",
|
||||
[
|
||||
"tsc",
|
||||
"--noEmit",
|
||||
"--allowJs",
|
||||
"--checkJs",
|
||||
"--skipLibCheck",
|
||||
"../out/monaco-editor/monaco.d.ts",
|
||||
file,
|
||||
],
|
||||
{ shell: true }
|
||||
);
|
||||
let buffer = "";
|
||||
process.on("exit", () => {
|
||||
resolve({
|
||||
file: file,
|
||||
status: process.exitCode ?? 1,
|
||||
stdout: buffer,
|
||||
});
|
||||
});
|
||||
process.stdout.on("data", (data) => {
|
||||
buffer += data.toString();
|
||||
});
|
||||
process.stderr.on("data", (data) => {
|
||||
buffer += data.toString();
|
||||
});
|
||||
})
|
||||
);
|
||||
}
|
||||
for (const promise of promises) {
|
||||
const result = await promise;
|
||||
console.log(result.file);
|
||||
if (result.status != 0) {
|
||||
console.log(result.stdout.toString());
|
||||
someFileError = true;
|
||||
}
|
||||
}
|
||||
|
||||
if (someFileError) {
|
||||
console.error("Some files had type errors.");
|
||||
exit(1);
|
||||
}
|
||||
})();
|
||||
@ -1,4 +1,4 @@
|
||||
// The colorizeElement-function will read the data-lang-attribute
|
||||
// from the element to select the correct language mode. In this
|
||||
// sample it is text/css.
|
||||
monaco.editor.colorizeElement(document.getElementById("code"));
|
||||
monaco.editor.colorizeElement(document.getElementById("code"), {});
|
||||
|
||||
Loading…
Reference in New Issue