binder_create.py

import os
import shutil
from util import process_ipynb, strip_unnecessary_keys, add_sequential_ids_to_notebook


def binderize(a_args, local_notebooks_folder):
    root_copy_path = f"{os.getcwd()}/{local_notebooks_folder}_binder"
    rel_path = f"{a_args['assign_type']}/{a_args['file_no_ext']}"
    file_name = f"{a_args['file_no_ext']}.ipynb"
    copy_to = os.path.join(root_copy_path, rel_path)
    copy_to_file = os.path.join(copy_to, file_name)
    copy_from = f"{local_notebooks_folder}/{a_args['assign_type']}/{a_args['file_no_ext']}/student"

    shutil.copytree(copy_from, copy_to, dirs_exist_ok=True)

    insert_headers = [
        "# The pip install can take a minute\n",
        f"%pip install -q otter-grader=={a_args['otter_version']}\n",
        "%pip install -q datascience==0.17.5\n"
    ]
    process_ipynb(copy_to_file, insert_headers)
    strip_unnecessary_keys(copy_to_file)
    add_sequential_ids_to_notebook(copy_to_file, a_args['file_no_ext'])
    print(f"Binder: {copy_to} Created")