Rename indexUrls to index_urls

Co-Authored-By: Nicholas Bollweg <[email protected]>

Author: agriyakhetarpal

packages/pyodide-kernel-extension/schema/kernel.v0.schema.json

@@ -30,7 +30,7 @@
       "description": "Default options to pass to piplite.install",
       "default": {},
       "properties": {
-        "indexUrls": {
+        "index_urls": {
           "type": "array",
           "items": {
             "type": "string",

packages/pyodide-kernel-extension/src/index.ts

@@ -61,7 +61,7 @@ const kernel: JupyterLiteServerPlugin<void> = {
     const pipliteInstallDefaultOptions = config.pipliteInstallDefaultOptions || {};
 
     // Parse any configured index URLs
-    const indexUrls = pipliteInstallDefaultOptions.indexUrls || [];
+    const index_urls = pipliteInstallDefaultOptions.index_urls || [];
 
     for (const [key, value] of Object.entries(loadPyodideOptions)) {
       if (key.endsWith('URL') && typeof value === 'string') {
@@ -104,7 +104,7 @@ const kernel: JupyterLiteServerPlugin<void> = {
           loadPyodideOptions,
           contentsManager,
           pipliteInstallDefaultOptions: {
-            indexUrls,
+            index_urls,
             ...pipliteInstallDefaultOptions,
           },
         });

packages/pyodide-kernel/src/tokens.ts

@@ -58,7 +58,7 @@ export namespace IPyodideWorkerKernel {
     /**
      * Base URLs of extra indices to use
      */
-    indexUrls?: string[];
+    index_urls?: string[];
 
     /**
      * Any additional piplite install options