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