Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/terasakisatoshi/jldev_ghcodespace_pluto_jupyter
An example of GitHub Codespace configuration. Pluto/Jupyter is available.
https://github.com/terasakisatoshi/jldev_ghcodespace_pluto_jupyter
Last synced: 3 days ago
JSON representation
An example of GitHub Codespace configuration. Pluto/Jupyter is available.
- Host: GitHub
- URL: https://github.com/terasakisatoshi/jldev_ghcodespace_pluto_jupyter
- Owner: terasakisatoshi
- License: mit
- Created: 2024-01-20T10:52:09.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2024-04-28T14:38:06.000Z (7 months ago)
- Last Synced: 2024-10-11T12:41:06.590Z (about 1 month ago)
- Language: Jupyter Notebook
- Size: 65.4 KB
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# jldev_ghcodespace_pluto_jupyter
This project provides a development environment based on [GitHub Codespaces](https://github.com/features/codespaces). Utilizing GitHub Codespace, the setup of Julia and Python with JupyterLab and/or Pluto notebooks becomes a streamlined process.
## How to use
Just click the following badge:
[](https://codespaces.new/terasakisatoshi/jldev_ghcodespace_pluto_jupyter?quickstart=1)
You will see a development environment as if you are using VS Code. It's better to select a machine type with at least 4 cores. 8 cores is great!.
See [Changing the machine type for your codespace](https://docs.github.com/en/codespaces/customizing-your-codespace/changing-the-machine-type-for-your-codespace) to learn more.
## How to launch a Pluto.jl server
Note that running `julia> using Pluto; Pluto.run()` in your Julia REPL may be insufficient. Please follow the instructions below:
```julia
julia> import Pluto; Pluto.run(require_secret_for_access=false, require_secret_for_open_links=false)
┌ Info:
│ Welcome to Pluto v0.19.36 🎈
│ Start a notebook server using:
│
│ julia> Pluto.run()
│
│ Have a look at the FAQ:
│ https://github.com/fonsp/Pluto.jl/wiki
└
[ Info: Loading...
┌ Info:
└ Go to http://localhost:1234/ in your browser to start writing ~ have fun!
┌ Info:
│ Press Ctrl+C in this terminal to stop Pluto
└
```
Open your web browser and go to `http://localhost:1234/`. Then you are good to go. Enjoy Julia!
See [this issue](https://github.com/fonsp/Pluto.jl/issues/687#issuecomment-729159016) to learn more.
## Customization
- If you want to install Julia packages, edit `Project.toml` and update/commit both `Project.toml` and `Manifest.toml`. Note that `Manifest.toml` is generated automatically by the Julia package manager.
- If you want to enhance the development environment, edit `.devcontainer/devcontainer.json` to add features related to Python. See [the GitHub Docs](https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/adding-a-dev-container-configuration/setting-up-your-python-project-for-codespaces) to learn more.
## References
- [GitHub Codespaces Features](https://github.com/features/codespaces)
- [GitHub Blog: One-click into GitHub Codespaces (2023-04-24)](https://github.blog/changelog/2023-04-24-one-click-into-github-codespaces/)
- [Introduction to Dev Containers - GitHub Docs](https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/adding-a-dev-container-configuration/introduction-to-dev-containers)
- [Advanced Containers: Environment Variables - Visual Studio Code](https://code.visualstudio.com/remote/advancedcontainers/environment-variables#_option-1-add-individual-variables)
- [Setting Up Your Python Project for Codespaces - GitHub Docs](https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/adding-a-dev-container-configuration/setting-up-your-python-project-for-codespaces)