jldev_ghcodespace_pluto_jupyter

This project provides a development environment based on GitHub 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:

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 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> 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 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 to learn more.

References

• GitHub Codespaces Features
• GitHub Blog: One-click into GitHub Codespaces (2023-04-24)
• Introduction to Dev Containers - GitHub Docs
• Advanced Containers: Environment Variables - Visual Studio Code
• Setting Up Your Python Project for Codespaces - GitHub Docs