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.

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

Language server installation menu #1997

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Conversation

FastestMolasses
Copy link
Member

Description

A system to allow users to download and manage LSP servers from the settings menu. This utilizes the mason registry to track the language servers.

Related Issues

Checklist

  • I read and understood the contributing guide as well as the code of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

@FastestMolasses FastestMolasses added enhancement New feature or request language server Issues or Pull Requests related to language servers. labels Feb 25, 2025
print("Installing \(source.name)@\(source.version) in \(packagePath.path)")

do {
var cargoArgs = ["cargo", "install", "--root", "."]
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What happens when the dev tooling is not installed on the system?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The initialize function in each of these package managers will first check if the tool is installed and if not, a PackageManagerError.packageManagerNotInstalled error will get thrown and then displayed on the UI

import ZIPFoundation

final class RegistryManager {
static let shared: RegistryManager = .init()
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Everytime shared is called a new instance is created? Is that the idea or..?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request language server Issues or Pull Requests related to language servers.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants