Utilities
Utilities for teaching with marimo notebooks.
localize_file(filename, url)
Download a file from the url, returning the local path.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
filename
|
str
|
name for local copy of file |
required |
url
|
str
|
URL of file to download |
required |
Returns:
| Type | Description |
|---|---|
str
|
local file path |
Raises:
| Type | Description |
|---|---|
FileNotFoundError
|
if remote file not found |
Source code in src/marimo_learn/utilities.py
8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | |