#!/usr/bin/env python3 import sys import shutil import os argv = sys.argv[1:] + ['--config', 'binder/jupyter_notebook_config.py'] print(argv) os.execv(shutil.which(argv[0]), argv)