Add optional Jupyter kernelspec options from the spec (#55989)
This commit is contained in:
parent
0426ae63f8
commit
f72d7c49d5
@ -37,15 +37,15 @@ in
|
|||||||
installPhase = ''
|
installPhase = ''
|
||||||
mkdir kernels
|
mkdir kernels
|
||||||
|
|
||||||
${concatStringsSep "\n" (mapAttrsToList (kernelName: kernel:
|
${concatStringsSep "\n" (mapAttrsToList (kernelName: unfilteredKernel:
|
||||||
let
|
let
|
||||||
config = builtins.toJSON {
|
allowedKernelKeys = ["argv" "displayName" "language" "interruptMode" "env" "metadata" "logo32" "logo64"];
|
||||||
display_name = if (kernel.displayName != "")
|
kernel = traceVal (filterAttrs (n: v: (any (x: x == n) allowedKernelKeys)) unfilteredKernel);
|
||||||
then kernel.displayName
|
config = builtins.toJSON (
|
||||||
else kernelName;
|
kernel
|
||||||
argv = kernel.argv;
|
// {display_name = if (kernel.displayName != "") then kernel.displayName else kernelName;}
|
||||||
language = kernel.language;
|
// (optionalAttrs (kernel ? interruptMode) { interrupt_mode = kernel.interruptMode; })
|
||||||
};
|
);
|
||||||
logo32 =
|
logo32 =
|
||||||
if (kernel.logo32 != null)
|
if (kernel.logo32 != null)
|
||||||
then "ln -s ${kernel.logo32} 'kernels/${kernelName}/logo-32x32.png';"
|
then "ln -s ${kernel.logo32} 'kernels/${kernelName}/logo-32x32.png';"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user