fix #5417 -- make our jupyter kernel names case insensitive

- this actually technical makes cocalc incompat with jupyterlab, but
  also more likely to just work with outside notebooks

Author: williamstein

src/packages/frontend/jupyter/select-kernel.tsx

@@ -382,7 +382,7 @@ export const KernelSelector: React.FC<KernelSelectorProps> = React.memo(
                 "this compute server"
               ) : (
                 <>
-                  the <SiteName /> shared environment
+                  the <SiteName /> Home Base environment
                 </>
               )}
               .

src/packages/jupyter/ipynb/import-from-ipynb.ts

@@ -162,6 +162,13 @@ export class IPynbImporter {
       this._ipynb.metadata &&
       this._ipynb.metadata.kernelspec &&
       this._ipynb.metadata.kernelspec.name;
+    if (this._kernel != null) {
+      // kernel names are supposed to be case insensitive
+      // https://jupyter-client.readthedocs.io/en/latest/kernels.html
+      // We also make them all lower case when reading them in at
+      // src/packages/jupyter/kernel/kernel-data.ts
+      this._kernel = this._kernel.toLowerCase();
+    }
   };
 
   _import_metadata = () => {

src/packages/jupyter/kernel/kernel-data.ts

@@ -54,7 +54,7 @@ export async function get_kernel_data(): Promise<KernelSpec[]> {
   for (const kernel in kernel_data) {
     const value = kernel_data[kernel];
     v.push({
-      name: kernel,
+      name: kernel.toLowerCase(),
       display_name: value.spec.display_name,
       language: spec2language(value.spec),
       // @ts-ignore
@@ -83,8 +83,9 @@ export async function getLanguage(kernelName: string): Promise<string> {
 }
 
 export async function get_kernel_data_by_name(
-  name: string
+  name: string,
 ): Promise<KernelSpec> {
+  name = name.toLowerCase();
   const kernel_data = await get_kernel_data();
   for (const kernel of kernel_data) {
     if (kernel.name == name) {