Plugins

Intègre un véritable éditeur VSCode (code-server, ou votre VS Code de bureau local via l’extension bridge incluse) comme onglet GUI : les modifications de fichiers de l’agent ouvrent des diffs rouge/vert liés au tour qui survivent aux fermetures d’onglets et rechargements de page, les fichiers sont verrouillés pendant l’écriture de l’agent, et un superviseur watchdog garantit l’absence de processus orphelins.

Empaquetez et installez code-server (la version web de VSCode) comme plugin dans dsh pour obtenir rapidement une édition de fichiers professionnelle.