add binder config

2021-06-17 12:42:22 +02:00 · 2021-06-17 12:42:22 +02:00 · 93be203efe
parent 2894b0194f
commit 93be203efe
3 changed files with 8 additions and 0 deletions
--- a/binder/apt.txt
+++ b/binder/apt.txt
@ -0,0 +1 @@
+openjdk-8-jre
--- a/binder/postBuild
+++ b/binder/postBuild
@ -0,0 +1,5 @@
+#!/bin/bash
+set -e
+
+# Install bash_kernel https://github.com/takluyver/bash_kernel
+python -m bash_kernel.install
--- a/binder/requirements.txt
+++ b/binder/requirements.txt
@ -0,0 +1,2 @@
+jupyter-server-proxy==1.5.3
+bash_kernel==0.7.2