search

MariaDB / mariadb_kernel

A MariaDB Jupyter kernel
BSD 3-Clause "New" or "Revised" License
30 stars 20 forks source link

Switch mybinder setup to use MariaDB 10.5 #22

Closed robertbindar closed 3 years ago

robertbindar commented 3 years ago

Currently when running mariadb_kernel on binder, we install MariaDB from apt, this gives us a 10.1 MariaDB which limits people when wanting to try new MariaDB features.

There is no sudo on binder setup files, so we either need to manually wget the MariaDB 10.5 tarball or we have to switch binder to use a custom Dockerfile of ours where we can setup the desired version of MariaDB. I would vote for the first option for now.

robertbindar commented 3 years ago

Fixed, binder/ folder now contains a Dockerfile that repo2docker uses for creating the environment.