Commit 8e381a7f authored by Sumit Sahrawat's avatar Sumit Sahrawat Committed by Sumit Sahrawat

Add more configurables for EasyKernel

parent ba7cd9c8
...@@ -81,6 +81,10 @@ data KernelConfig m output result = ...@@ -81,6 +81,10 @@ data KernelConfig m output result =
, kernelBanner :: String , kernelBanner :: String
-- | The version of the messaging specification used by the kernel -- | The version of the messaging specification used by the kernel
, kernelProtocolVersion :: String , kernelProtocolVersion :: String
-- | Name of the kernel implementation
, kernelImplName :: String
-- | Version of the kernel implementation
, kernelImplVersion :: String
} }
-- Install the kernelspec, using the `writeKernelspec` field of the kernel configuration. -- Install the kernelspec, using the `writeKernelspec` field of the kernel configuration.
...@@ -164,8 +168,8 @@ replyTo config _ _ KernelInfoRequest{} replyHeader = ...@@ -164,8 +168,8 @@ replyTo config _ _ KernelInfoRequest{} replyHeader =
KernelInfoReply KernelInfoReply
{ header = replyHeader { header = replyHeader
, languageInfo = kernelLanguageInfo config , languageInfo = kernelLanguageInfo config
, implementation = "ipython-kernel.EasyKernel" , implementation = kernelImplName config
, implementationVersion = "0.0" , implementationVersion = kernelImplVersion config
, banner = kernelBanner config , banner = kernelBanner config
, protocolVersion = kernelProtocolVersion config , protocolVersion = kernelProtocolVersion config
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment