Serveurs LSP

Dropstone peut s'intégrer avec votre Language Server Protocol (LSP) pour aider le LLM à interagir avec votre base de code. Il utilise les diagnostics pour fournir des retours au LLM.

Intégrés

Dropstone est livré avec plusieurs serveurs LSP intégrés pour les langages populaires :

Lorsque LSP est activé, les serveurs démarrent quand l'une des extensions ci-dessus est détectée et que les exigences sont satisfaites.

Fonctionnement

Lorsque LSP est activé et que dropstone ouvre un fichier, il :

1. Vérifie l'extension du fichier par rapport à tous les serveurs LSP activés.
2. Démarre le serveur LSP approprié s'il n'est pas déjà en cours d'exécution.

Configuration

Vous pouvez activer et personnaliser les serveurs LSP via la section lsp dans votre configuration dropstone.

Pour activer tous les serveurs LSP intégrés, définissez lsp à true.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": true
}

Utilisez un objet pour garder les serveurs intégrés activés tout en configurant des remplacements ou des serveurs personnalisés.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": {}
}

Chaque entrée de serveur LSP configurée supporte les propriétés suivantes :

Les entrées de serveur ont besoin de command sauf s'ils désactivent uniquement un serveur.

Regardons quelques exemples.

Variables d'environnement

Utilisez la propriété env pour définir les variables d'environnement au démarrage du serveur LSP :

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": {
    "rust": {
      "command": ["rust-analyzer"],
      "env": {
        "RUST_LOG": "debug"
      }
    }
  }
}

Options d'initialisation

Utilisez la propriété initialization pour passer les options d'initialisation au serveur LSP. Ce sont des paramètres spécifiques au serveur envoyés lors de la requête LSP initialize :

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": {
    "custom-lsp": {
      "command": ["custom-lsp-server", "--stdio"],
      "extensions": [".custom"],
      "initialization": {
        "preferences": {
          "importModuleSpecifierPreference": "relative"
        }
      }
    }
  }
}

Désactiver les serveurs LSP

Si lsp est omis, tous les serveurs LSP sont désactivés. Pour désactiver tous les serveurs LSP après qu'une autre configuration les ait activés, définissez lsp à false :

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": false
}

Pour désactiver un serveur LSP spécifique, définissez disabled à true :

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": {
    "typescript": {
      "disabled": true
    }
  }
}

Serveurs LSP personnalisés

Vous pouvez ajouter des serveurs LSP personnalisés en spécifiant la commande et les extensions de fichier :

{
  "$schema": "https://dropstone.io/schema/config.json",
  "lsp": {
    "custom-lsp": {
      "command": ["custom-lsp-server", "--stdio"],
      "extensions": [".custom"]
    }
  }
}

Informations supplémentaires

PHP Intelephense

PHP Intelephense offre des fonctionnalités premium via une clé de licence. Vous pouvez fournir une clé de licence en plaçant (uniquement) la clé dans un fichier texte à :

• Sur macOS/Linux : $HOME/intelephense/license.txt
• Sur Windows : %USERPROFILE%/intelephense/license.txt

Le fichier doit contenir uniquement la clé de licence sans contenu supplémentaire.