Running an Elixir Kernel with Executable books #180

J0 · 2020-11-22T14:08:32Z

J0
Nov 22, 2020

Hey all!

I'm trying to run elixir kernels with Thebe Lab so that I can create a site with interactive elixir exercises. To achieve this goal I took the minimal starter from the documents and changed the binderOptions:

<body>

<script type="text/x-thebe-config">
    {
      requestKernel: true,
      binderOptions: {
        name: "Elixir",
        repo: "J0/binder-el",
        kernelName: "ielixir",
        path: "./.local/share/jupyter/kernels/ielixir",
      },
    }
  </script>
<script src="https://unpkg.com/thebelab@latest/lib/index.js"></script>

<button id="activateButton"  style="width: 150px; height: 75px; font-size: 1.5em;">Activate</button>
<script>
var bootstrapThebe = function() {
    thebelab.bootstrap();
}

document.querySelector("#activateButton").addEventListener('click', bootstrapThebe)
</script>
<pre data-executable="true" >IO.puts("Hello world")</pre>

</body>

The repository J0/binder-el is a repository with a single Dockerfile containing the setup required to run an Elixir kernel as per the ielixir repository. I have tested it before hand when using binder.org and I am able to successfully execute IO.puts("Hello world") in the notebook that I create.

However, when I attempt to run the example snippet above it seems to still be running an ipython kernel despite the fact that I have specified kernelName: "ielixir" which has left me slightly puzzled.

I'm just wondering if I am missing something or if anyone has run such a configuration before. Would deeply appreciate any suggestions as to how I might modify the existing setup to support the ielixir kernel.

Thank you!