Activer l’accès de Cascade aux fichiers .gitignore
Zones de diff des agents
Prise en charge SSH
Remote-SSH dans la palette de commandes, ou à l’aide du bouton Open a Remote Window en bas à gauche.
Cette extension a très bien fonctionné pour notre développement interne, mais il existe quelques limites et bugs connus :
- Nous ne prenons actuellement en charge que les connexions SSH vers des hôtes distants basés sur Linux.
- L’extension Microsoft habituelle « Remote - SSH » (ainsi que l’extension open-remote-ssh) ne fonctionnera pas. Veuillez ne pas les installer, car elles entrent en conflit avec notre prise en charge.
- Nous n’avons pas encore toutes les fonctionnalités de l’extension SSH de Microsoft. Pour l’instant, nous prenons surtout en charge l’essentiel : se connecter à un hôte. Si vous avez des demandes de fonctionnalités, faites-le-nous savoir !
- Pour accéder à un devcontainer sur un hôte distant après vous être connecté via SSH, utilisez la palette de commandes (Ctrl/Cmd+Shift+P) et choisissez l’une des options suivantes :

- Le transfert d’agent SSH est activé par défaut et utilisera la connexion la plus récente de Devin Desktop à cet hôte. Si vous rencontrez des difficultés, essayez de recharger la fenêtre pour actualiser la connexion.
-
Sous Windows, vous verrez des fenêtres
cmd.exelorsqu’on vous demandera votre mot de passe. C’est normal : nous les supprimerons bientôt. -
Si vous rencontrez des problèmes, assurez-vous d’abord que vous pouvez vous connecter à votre hôte distant avec la commande
sshdans un terminal. Si le problème persiste, incluez la sortie de l’ongletOutput > Remote SSH (Devin)dans tout rapport de bug !
Dev Containers
- En local : Docker doit être installé sur votre machine et accessible depuis le terminal de Devin Desktop.
- À distance via SSH : connectez-vous à un hôte distant à l’aide de Devin Desktop Remote-SSH. Docker doit être installé et accessible sur l’hôte distant (depuis le shell distant). Votre projet doit inclure un
devcontainer.jsonou une configuration équivalente.
Dev Containers: Open Folder in Container- Ouvrir un nouvel espace de travail à l’aide d’un
devcontainer.jsonspécifié.
- Ouvrir un nouvel espace de travail à l’aide d’un
Dev Containers: Reopen in Container- Rouvrir l’espace de travail actuel dans un nouveau conteneur défini par votre
devcontainer.json.
- Rouvrir l’espace de travail actuel dans un nouveau conteneur défini par votre
Dev Containers: Attach to Running Container- Attacher un conteneur Docker existant et y connecter votre espace de travail actuel. Si le conteneur n’est pas conforme à la spécification Development Container Specification, Devin Desktop tentera de détecter au mieux l’utilisateur distant et l’environnement.
Dev Containers: Reopen Folder Locally- Lorsque vous êtes connecté à un conteneur de développement, vous en déconnecter et rouvrir l’espace de travail sur le système de fichiers local.
Dev Containers: Show Devin Desktop Dev Containers Log- Ouvrir la sortie du journal Dev Containers pour faciliter le dépannage.
Open a Remote Window en bas à gauche (y compris lorsque vous êtes connecté à un hôte distant via SSH).
Articles connexes :
Remote Explorer: Focus on Dev Containers (Devin Desktop) View— ouvrir rapidement la vue Dev Containers.
Limites connues
onCreateCommandupdateContentCommandpostCreateCommandpostStartCommandpostAttachCommand
devcontainer.json) et à celles au niveau des features (définies dans devcontainer-feature.json). L’installation des dotfiles n’est pas non plus prise en charge.
Ce qui fonctionne :
- Les scripts
install.shdes features (ils s’exécutent au moment du build de l’image) - Les
mountsdes features (les volumes sont montés au lancement du conteneur) - Le champ
entrypointdes features (il s’exécute à chaque démarrage du conteneur) - Toutes les autres opérations effectuées au moment du build de l’image (Dockerfile, docker-compose, features)
Contournement : utiliser le point d’entrée d’une feature pour la configuration au démarrage
entrypoint de la feature plutôt qu’une commande du cycle de vie. Le point d’entrée s’exécute à chaque démarrage du conteneur, une fois les volumes montés, et il est entièrement autonome — les utilisateurs de votre feature n’ont pas besoin de modifier leur devcontainer.json.
Dans votre devcontainer-feature.json, déclarez le point d’entrée :
install.sh (exécuté lors du build de l’image), écrivez le script de point d’entrée :
Le script de point d’entrée doit effectuer son initialisation, puis se terminer normalement. Ne le terminez pas par
exec "$@" — le wrapper de point d’entrée de la CLI se charge lui-même de passer le contrôle à la commande du conteneur. Gardez ce script léger, car il s’exécute de façon synchrone avant la connexion de l’IDE.WSL (Bêta)
Open a Remote Window en bas à gauche, ou via Remote-WSL dans la palette de commandes.
Extension Marketplace
Devin Settings, rendez-vous dans la section Extensions, puis mettez à jour les deux URL du marketplace :
Le lien here affiché dans le message du marketplace en haut de la vue Extensions ouvre lui aussi ces paramètres. Vous pouvez également définir les setting IDs directement dans le fichier
settings.json de votre éditeur. Redémarrez Devin Desktop après avoir modifié l’une ou l’autre valeur pour utiliser le nouveau marketplace.
Plugins Devin Desktop
Devin Pyright
Devin Pyright
Recherchez « Devin Pyright » ou collez
@id:codeium.windsurfPyright dans la barre de recherche des extensions.
