Skip to content
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.

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

Support Jupyter saving to S3 #860

Merged
merged 2 commits into from
Oct 1, 2024
Merged

Support Jupyter saving to S3 #860

merged 2 commits into from
Oct 1, 2024

Conversation

eric-anderson
Copy link
Collaborator

  • Add support configured by setting the JUPYTER_S3_BUCKET and JUPTYER_S3_PREFIX variables
  • Add support for resetting the jupyter configuration via JUPYTER_CONFIG_RESET (can also delete the file)
  • Fix bug in startup script that could end up racing with the jupyter log file being written
  • Switch to jupyter lab by default
  • Add cache to gitignore (it's generated by a notebook)
  • Add package-mode=false to pyproject -- I'm on python3.12 and getting warnings
  • Add pip as an explicit dependencies -- I'm on python3.12 and it's not installed by default leading to mypy errors installing type info dependencies.

* Add support configured by setting the JUPYTER_S3_BUCKET and JUPTYER_S3_PREFIX variables
* Add support for resetting the jupyter configuration via JUPYTER_CONFIG_RESET (can also
  delete the file)
* Fix bug in startup script that could end up racing with the jupyter log file being written
* Switch to jupyter lab by default
* Add cache to gitignore (it's generated by a notebook)
* Add package-mode=false to pyproject -- I'm on python3.12 and getting warnings
* Add pip as an explicit dependencies -- I'm on python3.12 and it's not installed by default leading
  to mypy errors installing type info dependencies.
@eric-anderson eric-anderson requested a review from baitsguy October 1, 2024 21:45
@eric-anderson eric-anderson merged commit 51a4e2e into main Oct 1, 2024
10 of 11 checks passed
@eric-anderson eric-anderson deleted the eric-jupyter-s3 branch October 1, 2024 22:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants