Spaces:
Running
Running
File size: 681 Bytes
e85709c | 1 2 3 4 5 6 7 8 9 10 11 12 | const fs = require("fs");
const strip = (src) => src.replace(/if \(typeof module[^]*$/m, "");
const core = strip(fs.readFileSync(__dirname + "/studio/core.js", "utf8"));
const scoreJs = strip(fs.readFileSync(__dirname + "/studio/studio_core.js", "utf8"));
const builtins = fs.readFileSync(__dirname + "/studio/builtins.json", "utf8");
let html = fs.readFileSync(__dirname + "/studio_ui.html", "utf8");
html = html.replace("/*CORE*/", core);
html = html.replace("/*STUDIO_CORE*/", scoreJs);
html = html.replace("/*BUILTINS*/null", builtins);
fs.writeFileSync(__dirname + "/studio/studio.html", html);
console.log("built studio/studio.html:", (html.length / 1024).toFixed(0), "KB");
|