Skip to content

Add script to download example data files for SOLER workshop #3 #142

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jgieseler merged 3 commits into from
Jun 26, 2026
Merged

Add script to download example data files for SOLER workshop #3 #142

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
b74e583
Add script to download example data files for SOLER workshop #3
jgieseler Jun 26, 2026
eb9e7d6
Merge branch 'main' of github.com:jgieseler/sep_tools
jgieseler Jun 26, 2026
0c27989
[skip actions][pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jun 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 34 additions & 0 deletions JupyterHub_Help.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -391,6 +391,40 @@
"source": [
"Or, as a last ressort, remove the entire user site-packages directory by running `!rm -rf /home/jovyan/.local/lib/python3.*/site-packages/*` as a code cell (⚠️ be careful, there is no undo — deleted files are gone permanently)."
]
},
{
"cell_type": "markdown",
"id": "29",
"metadata": {},
"source": [
"### Workshop #3\n",
"\n",
"The following is a little script that will download example data files used in the SOLER workshop #3 to your JupyterHub. It will be used in case some of the data servers have connection problems."
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "30",
"metadata": {},
"outputs": [],
"source": [
"import urllib.request\n",
"import zipfile\n",
"import io\n",
"import shutil\n",
"\n",
"url = \"https://github.com/jgieseler/workshop3_data/archive/refs/heads/main.zip\"\n",
"data_folder = \"/home/jovyan/data\"\n",
"\n",
"with urllib.request.urlopen(url) as response:\n",
" with zipfile.ZipFile(io.BytesIO(response.read())) as z:\n",
" z.extractall(data_folder)\n",
"\n",
"# GitHub adds a \"workshop3_data-main/\" subfolder, move contents up\n",
"shutil.copytree(f\"{data_folder}/workshop3_data-main/\", data_folder, dirs_exist_ok=True)\n",
"shutil.rmtree(f\"{data_folder}/workshop3_data-main/\")"
]
}
],
"metadata": {
Expand Down