Function patchIndex

scripts/patch-cloudcli-web-terminal-rendering.mjs:131–140

(path)

}

function patchIndex(path) {
  let source = readSource(path);

  source = replaceRequired(source, INDEX_PREFS_OLD, INDEX_PREFS_NEW);
  source = replaceRequired(source, INDEX_FONT_OLD, INDEX_FONT_NEW);
  source = replaceRequired(source, INDEX_WEBGL_OLD, INDEX_WEBGL_NEW);

  assertIndexPatched(source);
  writeSource(path, source);
}

const serverPath = `${PLUGIN_ROOT}/src/server.ts`;
const indexPath = `${PLUGIN_ROOT}/src/index.ts`;