From 93be203efed43dd68003b1ecf50695f0e3cfec3e Mon Sep 17 00:00:00 2001 From: Felix Lohmeier Date: Thu, 17 Jun 2021 12:42:22 +0200 Subject: [PATCH] add binder config --- binder/apt.txt | 1 + binder/postBuild | 5 +++++ binder/requirements.txt | 2 ++ 3 files changed, 8 insertions(+) create mode 100644 binder/apt.txt create mode 100755 binder/postBuild create mode 100644 binder/requirements.txt diff --git a/binder/apt.txt b/binder/apt.txt new file mode 100644 index 0000000..385f5b0 --- /dev/null +++ b/binder/apt.txt @@ -0,0 +1 @@ +openjdk-8-jre diff --git a/binder/postBuild b/binder/postBuild new file mode 100755 index 0000000..bfbdfb5 --- /dev/null +++ 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 diff --git a/binder/requirements.txt b/binder/requirements.txt new file mode 100644 index 0000000..c298273 --- /dev/null +++ b/binder/requirements.txt @@ -0,0 +1,2 @@ +jupyter-server-proxy==1.5.3 +bash_kernel==0.7.2