From dc0316512f9ae61fd5f23d70fa8cb8bc7a96f38c Mon Sep 17 00:00:00 2001 From: Steven Silvester Date: Fri, 10 Dec 2021 15:22:06 -0600 Subject: [PATCH] use bash explicitly --- binder/start | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/binder/start b/binder/start index e0f3ae33e..9d0be50f2 100755 --- a/binder/start +++ b/binder/start @@ -6,7 +6,7 @@ import subprocess # Start the local mongodb as a background task binder_folder = os.path.join(os.getcwd(), 'binder') -subprocess.check_call(['init'], shell=True, cwd=binder_folder) +subprocess.check_call(['bash', 'init'], shell=True, cwd=binder_folder) # Launch Jupyter argv = sys.argv[1:]