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.

Sign up for GitHub

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

Jump to bottom

Remote Development #18931

Open
20 of 34 tasks
mikayla-maki opened this issue Oct 9, 2024 · 0 comments
Open
20 of 34 tasks

Remote Development #18931

mikayla-maki opened this issue Oct 9, 2024 · 0 comments
Labels
enhancement [core label] remote dev Feedback for remote development servers tracking Issue that tracks a group of related issues

Comments

@mikayla-maki
Copy link
Contributor

mikayla-maki commented Oct 9, 2024 •
edited by bennetbo
Loading

  • Have a remote server build of Zed
  • Create an SSH connection between this remote server and Zed
  • Use the existing collab protocol to implement remote development
  • Get LSP servers running on the remote host
  • Improve settings on remote servers
    • [@mikayla-maki] Load ~/.zed/settings.json on remote host, stop sending local user settings to remote host
    • open settings should not add worktrees to your remote project
    • Add open host settings command that opens ~/.zed/settings.json on the remote host
      maybe rename "open local settings" to "open project settings"
    • Important use case supplying paths to language servers in lsp setting
  • Improve visibility into errors when setting up LSPs
  • Meta tasks:
  • [@mrnugget @bennetbo] Disconnect handling
    • Investigate hang when reconnecting on timeout
    • Show a "disconnected" overlay when connection is lost
      • only show it after 3 reconnect attempts fail
  • [@mrnugget @bennetbo] Workspace persistence/Worktrees/Project Paths
    • [@mrnugget @bennetbo] Cannot open absolute paths in history, because they assume the paths are local
    • [@mrnugget @bennetbo] ssh host always retains worktrees (even if you remove them / all buffers are closed)
  • [@mikayla-maki] Allow LSPs to auto-resolve
  • [@osiewicz @danilo-leal] Improve UI keyboard navigation

Remote Dev follow up:

  • Adjust extension API to allow remote extensions
  • Use remote-local ollama with AI assistant
  • Per-session port forwarding
  • Improve management of remote-server binaries
    • Update the remote server binaries eagerly after auto-updating Zed
    • Delete old remote server binaries after updating
    • Add configuration where you download auto update from
    • Do not always fetch the newest version
@mikayla-maki mikayla-maki added enhancement [core label] triage Maintainer needs to classify the issue admin read Pending admin review tracking Issue that tracks a group of related issues and removed enhancement [core label] triage Maintainer needs to classify the issue admin read Pending admin review labels Oct 9, 2024
@zed-industries zed-industries locked as resolved and limited conversation to collaborators Oct 9, 2024
@mikayla-maki mikayla-maki pinned this issue Oct 9, 2024
@JosephTLyons JosephTLyons added enhancement [core label] remote dev Feedback for remote development servers labels Oct 10, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement [core label] remote dev Feedback for remote development servers tracking Issue that tracks a group of related issues
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mikayla-maki @JosephTLyons