From 91bd2760cfeffadb308911e9d89ecc1c547f3410 Mon Sep 17 00:00:00 2001 From: Steven Silvester Date: Thu, 9 Dec 2021 15:13:32 -0600 Subject: [PATCH] try with JupyterLab's start file --- binder/start | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 binder/start diff --git a/binder/start b/binder/start new file mode 100755 index 000000000..48be87dcd --- /dev/null +++ b/binder/start @@ -0,0 +1,10 @@ +#!/usr/bin/env python3 +import sys +import shutil +import os + +argv = sys.argv[1:] +print(argv) + + +os.execv(shutil.which(argv[0]), argv) \ No newline at end of file