Dev container #36
Dev container #36
Conversation
|
@jonathan-taylor Students that do not have machines powerful enough can click on “Open in GitHub Codespaces” and you work in a container on a rented machine. There you either work in the vscode interface or in the jupyter lab environment. In the background we use uv to download the dependencies in a fast way... |
no browser option for devContainer
|
Using the DevContainer users can either work using Jupyter Lab (which is started in the background) or the vs code interface. |
| To install the current version of the requirements run | ||
|
|
||
| ``` | ||
| pip install -r https://raw.githubusercontent.com/intro-stat-learning/ISLP_labs/v2.2/requirements.txt; |
There was a problem hiding this comment.
One worry about make install here is for Windows users who may not use CLI. The pip install can be run within a notebook as a magic where I don't know about the calls to make. Won't users have to have downloaded Apple's CLI tools for this?
There was a problem hiding this comment.
This doesn't mean we can't have the Makefile of course, just perhaps the instructions for students shouldn't presume make. That's all.
* Create .python-version * Create .gitignore * Create Makefile * remove Dockerfile * remove docker workflow * startup.sh * devcontainer * README with link * Update Makefile * obsolete python-version * Update README.md * Update README.md * Update README.md * Update devcontainer.json no browser option for devContainer * introducing a first test * introducing a first test * introducing a manual release job * introducing a manual release job * Update README.md --------- Co-authored-by: Jonathan Taylor <[email protected]>
|
@all-contributors please add @tschm for code |
|
I've put up a pull request to add @tschm! 🎉 |
Use a modern DevContainer with vscode and jupyter lab