mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-13 13:50:38 +00:00
72613b7668
This PR introduces a unified interface for both native and remote kernels through the `RunningKernel` trait. When either the native kernel or the remote kernels are started, they return a `Box<dyn RunningKernel>` to make it easier to work with the session. As a bonus of this refactor, I've dropped some of the mpsc channels to instead opt for passing messages directly to `session.route(message)`. There was a lot of simplification of `Session` by moving responsibilities to `NativeRunningKernel`. No release notes yet until this is finalized. * [x] Detect remote kernelspecs from configured remote servers * [x] Launch kernel on demand For now, this allows you to set env vars `JUPYTER_SERVER` and `JUPYTER_TOKEN` to access a remote server. `JUPYTER_SERVER` should be a base path like `http://localhost:8888` or `https://notebooks.gesis.org/binder/jupyter/user/rubydata-binder-w6igpy4l/` Release Notes: - N/A
68 lines
1.9 KiB
TOML
68 lines
1.9 KiB
TOML
[package]
|
|
name = "repl"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
publish = false
|
|
license = "GPL-3.0-or-later"
|
|
|
|
[lints]
|
|
workspace = true
|
|
|
|
[lib]
|
|
path = "src/repl.rs"
|
|
doctest = false
|
|
|
|
[dependencies]
|
|
alacritty_terminal.workspace = true
|
|
anyhow.workspace = true
|
|
async-dispatcher.workspace = true
|
|
base64.workspace = true
|
|
client.workspace = true
|
|
collections.workspace = true
|
|
command_palette_hooks.workspace = true
|
|
editor.workspace = true
|
|
feature_flags.workspace = true
|
|
file_icons.workspace = true
|
|
futures.workspace = true
|
|
gpui.workspace = true
|
|
http_client.workspace = true
|
|
image.workspace = true
|
|
jupyter-websocket-client.workspace = true
|
|
jupyter-protocol.workspace = true
|
|
language.workspace = true
|
|
log.workspace = true
|
|
markdown_preview.workspace = true
|
|
menu.workspace = true
|
|
multi_buffer.workspace = true
|
|
nbformat.workspace = true
|
|
project.workspace = true
|
|
runtimelib.workspace = true
|
|
schemars.workspace = true
|
|
serde.workspace = true
|
|
serde_json.workspace = true
|
|
settings.workspace = true
|
|
smol.workspace = true
|
|
terminal.workspace = true
|
|
terminal_view.workspace = true
|
|
theme.workspace = true
|
|
ui.workspace = true
|
|
util.workspace = true
|
|
uuid.workspace = true
|
|
workspace.workspace = true
|
|
picker.workspace = true
|
|
|
|
[dev-dependencies]
|
|
editor = { workspace = true, features = ["test-support"] }
|
|
env_logger.workspace = true
|
|
gpui = { workspace = true, features = ["test-support"] }
|
|
http_client = { workspace = true, features = ["test-support"] }
|
|
indoc.workspace = true
|
|
language = { workspace = true, features = ["test-support"] }
|
|
languages = { workspace = true, features = ["test-support"] }
|
|
project = { workspace = true, features = ["test-support"] }
|
|
settings = { workspace = true, features = ["test-support"] }
|
|
theme = { workspace = true, features = ["test-support"] }
|
|
tree-sitter-md.workspace = true
|
|
tree-sitter-typescript.workspace = true
|
|
tree-sitter-python.workspace = true
|
|
util = { workspace = true, features = ["test-support"] }
|