Paramètres d’importation automatique
- Ouvrez n’importe quelle session Devin que vous avez démarrée
- Vous devriez voir la page d’accueil. (Si cette page n’apparaît pas, vous pouvez toujours la rouvrir avec Cmd+Shift+P et rechercher « Help: Welcome ».)

- Cliquez sur le bouton pour démarrer le processus d’importation.
- Suivez les étapes à l’écran. Vous allez copier-coller un script Python dans le terminal de votre ordinateur local pour téléverser votre profil. (PowerShell pour Windows)
- Le script vous demandera de confirmer vos paramètres en visitant l’URL app.devin.ai.
- Une fois la confirmation effectuée, vos paramètres seront synchronisés automatiquement avec votre session Devin et pour toutes vos futures sessions Devin.
Exporter manuellement votre profil local
- Dans VS Code, faites Cmd+Shift+P -> Preferences: Open Profiles (UI)
- Faites un clic droit sur votre profil (généralement « Default »).
- Cliquez sur Export et choisissez File dans le menu Quick Pick qui apparaît.
- Enregistrez le fichier sur le disque. Il sera enregistré dans un fichier
.code-profile.
Importer manuellement votre fichier .code-profile
.code-profile, vous pouvez l’importer dans n’importe quel IDE de session Devin que vous avez lancé.
- Ouvrez n’importe quelle session Devin que vous avez lancée.
- Ouvrez la palette de commandes avec Cmd+Shift+P et recherchez « Preferences: Devin: Import Profile (Manual) ».
- Sélectionnez le fichier que vous avez importé. Votre profil sera alors transféré sur la machine. Toutes vos extensions et tous vos paramètres devraient ensuite être installés automatiquement.
Vérifier que votre téléversement a fonctionné
- Settings : faites
Cmd+Shift+P -> Preferences: Open User Settings (JSON). Vérifiez qu’ils correspondent à ceux de votre éditeur local. - Keyboard Shortcuts : faites
Cmd+Shift+P -> Preferences: Open Keyboard Shortcuts (JSON). Vérifiez qu’ils correspondent à ceux de votre éditeur local. - Extensions : cliquez sur l’icône des extensions dans la barre latérale à droite (ou faites Cmd+Shift+X). Recherchez les extensions que vous avez installées localement.
