Passer au contenu principal

Documentation Index

Fetch the complete documentation index at: https://docs.devinenterprise.com/llms.txt

Use this file to discover all available pages before exploring further.

L’intégration du shell est une fonctionnalité en aperçu. Elle est disponible sur macOS, Linux et WSL avec Bash, Zsh et Fish. L’intégration du shell n’est pas encore prise en charge sur Windows (PowerShell ou CMD). Vous pouvez toujours exécuter Devin CLI sur Windows — cette fonctionnalité n’y est simplement pas encore disponible. Elle est complète sur le plan fonctionnel, mais peut interagir de manière imprévisible avec d’autres fonctionnalités du shell. Si vous rencontrez une incompatibilité, faites-le-nous savoir !
L’intégration du shell s’ajoute à votre session shell existante afin que Devin s’exécute à ses côtés. Une fois configurée, vous pouvez :
  • Appuyer sur Ctrl+G (configurable) n’importe où dans votre shell pour invoquer Devin en utilisant votre ligne de commande actuelle comme contexte
  • Saisir # <message> et appuyer sur Entrée pour l’envoyer directement à Devin (Zsh uniquement)
  • Donner automatiquement à Devin accès à vos commandes shell récentes et à leur sortie
Nous recommandons vivement d’utiliser zsh plutôt que bash ou fish pour une prise en charge optimale.

​
Configuration

Exécutez la commande setup pour installer l’intégration du shell dans le fichier de configuration de votre shell : 
devin shell setup
Cela ajoute des blocs gérés au fichier rc de votre shell (~/.bashrc, ~/.zshrc ou ~/.config/fish/config.fish). Redémarrez ensuite votre terminal ou rechargez la configuration : 
source ~/.bashrc
Vous pouvez également indiquer explicitement un shell cible : 
devin shell setup bash
devin shell setup zsh
devin shell setup fish
L’intégration du shell est distincte de l’assistant devin setup. L’exécution de devin setup n’installe pas l’intégration du shell — vous devez exécuter devin shell setup séparément.

​
Fonctionnalités

​
Raccourci Ctrl+G (configurable)

Appuyez sur Ctrl+G à tout moment dans votre shell pour lancer Devin. Tout ce que vous avez saisi sur la ligne en cours est transmis à Devin comme contexte, ainsi que l’historique récent de votre shell. 
$ git status   # tapez ceci, puis appuyez sur Ctrl+G au lieu de Entrée
# Devin s'ouvre avec "git status" comme contexte + votre historique récent du shell
Cette syntaxe fonctionne avec Bash, Zsh et Fish.

​
Syntaxe de commentaire (Zsh uniquement)

Dans Zsh, commencez une ligne par #, saisissez un message en langage naturel, puis appuyez sur Entrée. Devin reçoit alors votre commentaire en guise de prompt. 
$ # explain what this directory contains
# Devin ouvre avec votre commentaire comme prompt
La syntaxe des commentaires nécessite l’option INTERACTIVE_COMMENTS de Zsh, que l’intégration du shell active automatiquement.

​
Contexte de l’historique du shell

Lorsqu’on l’invoque avec Ctrl+G ou via la syntaxe de commentaire, Devin peut voir vos commandes shell récentes, y compris leur sortie. Cela donne à Devin du contexte sur ce que vous avez fait, afin qu’il puisse vous apporter une aide plus pertinente sans que vous ayez besoin de tout expliquer.

​
Suppression de l’intégration du shell

Pour supprimer l’intégration du shell, supprimez les blocs gérés de votre fichier de configuration du shell (~/.bashrc, ~/.zshrc ou ~/.config/fish/config.fish). Repérez les lignes comprises entre les marqueurs BEGIN MANAGED et END MANAGED, puis supprimez l’ensemble de ce bloc. Redémarrez ensuite votre terminal.

​
Configuration

Configurez le comportement de l’intégration du shell dans votre fichier de configuration: 
// ~/.config/devin/config.json
{
  "shell": {
    "keybinding_trigger": "C-g",
    "enable_comments": true
  }
}
OptionPar défautDescription
shell.keybinding_trigger"C-g"Raccourci clavier permettant de déclencher Devin depuis le shell. Utilisez le préfixe C- pour Ctrl (p. ex., "C-g" pour Ctrl+G). Définissez cette valeur sur null pour désactiver.
shell.enable_commentstrueActive la syntaxe # comment dans Zsh pour envoyer des messages à Devin.
Après avoir modifié la configuration, exécutez de nouveau devin shell setup et redémarrez votre terminal pour que les modifications prennent effet.