Dossiers
Le volet Dossiers répertorie les dossiers de votre Mac qui sont partagés dans la VM de cet espace de travail. Un dossier partagé est le pont entre votre système de fichiers réel et le bac à sable : c'est là que l'agent lit le code sur lequel il travaille et écrit les modifications qu'il effectue. Tout le reste de ce que touche la VM — son répertoire personnel, son disque système — est jetable et isolé ; un dossier partagé ne l'est pas. C'est une fenêtre vivante, en lecture-écriture, sur votre Mac.
La légende du volet énonce la règle avec précision : Chaque dossier est monté dans la VM sous son nom réel (par ex. ~/Documents → ~ubuntu/Documents). Limité à 8 dossiers par espace de travail. Sans dossier configuré, elle affiche Aucun dossier partagé.
Comment les dossiers sont partagés
Chaque dossier que vous ajoutez est attaché à la VM en tant que partage virtiofs et monté à /home/ubuntu/<basename>, où <basename> est le nom du dossier lui-même. Partager ~/Documents le fait apparaître dans la VM sous ~ubuntu/Documents (c'est-à-dire /home/ubuntu/Documents) ; partager ~/code/bromure apparaît sous /home/ubuntu/bromure. Seul le dernier composant du chemin est utilisé comme nom de montage, de sorte que deux dossiers portant le même nom de base mais provenant d'emplacements différents entreraient en collision — donnez à l'un d'eux un nom de répertoire distinct si vous avez besoin des deux.
Le partage est en lecture-écriture. L'agent à l'intérieur de la VM peut créer, modifier et supprimer des fichiers dans un dossier partagé exactement comme un processus local sur votre Mac le pourrait, et ces modifications sont immédiates et permanentes côté hôte. C'est ce qui rend l'espace de travail utile : l'agent modifie votre copie de travail sur place, et git, votre éditeur et vos autres outils sur le Mac voient les modifications au fur et à mesure qu'elles se produisent.
Comme les partages sont attachés lorsque la VM est configurée au démarrage, une modification de cette liste s'applique la prochaine fois que la VM de l'espace de travail démarre. Ajouter ou retirer un dossier pendant qu'une session est en cours ne le branche pas à chaud — enregistrez la modification, puis redémarrez la session pour la prendre en compte.
Avertissement : Un dossier partagé ne fait pas partie du bac à sable. Il survit à tout ce qui réinitialise la VM. La suppression d'un espace de travail le laisse explicitement intact — la boîte de dialogue de confirmation indique « Le dossier hôte monté reste intact. » — et si un espace de travail est un jour signalé comme compromis et effacé, ses dossiers partagés ne sont pas effacés et peuvent encore contenir des fichiers écrits par l'agent. Ne partagez que les dossiers dont l'agent a réellement besoin, et examinez manuellement un dossier partagé après tout événement de compromission. Consultez Identifiants et la frontière du fil pour le déroulement d'une compromission.
Ajouter et retirer des dossiers
Pour partager un dossier, cliquez sur Ajouter un dossier… au bas du volet. Cela ouvre un sélecteur de répertoires dans lequel vous pouvez sélectionner un ou plusieurs dossiers à la fois ; chaque répertoire sélectionné devient une nouvelle ligne. Le bouton est désactivé lorsque l'espace de travail possède déjà huit dossiers — le maximum par espace de travail.
Chaque dossier configuré apparaît sous forme de ligne indiquant le nom du dossier et son chemin complet sur votre Mac. Cliquez sur le bouton moins d'une ligne pour cesser de partager ce dossier ; retirer une ligne ici ne supprime jamais le dossier ni son contenu sur l'hôte — cela ne fait que le détacher de la VM au prochain démarrage.
La liste des dossiers actuellement partagés est également visible depuis la session en cours : le panneau d'information de la fenêtre de session affiche une liste Dossiers partagés afin que vous puissiez vérifier d'un coup d'œil ce à quoi l'agent a accès. Consultez Sessions.
Référence des paramètres
| Paramètre | Type | Par défaut | Description |
|---|---|---|---|
| Liste des dossiers | Liste de chemins hôtes | Vide | Chaque ligne affiche le nom du dossier et son chemin hôte complet, avec un bouton moins pour le retirer. Monté en lecture-écriture à /home/ubuntu/<basename>. |
| Ajouter un dossier… | Sélecteur de répertoires (multi-sélection) | — | Ajoute un ou plusieurs dossiers. Désactivé lorsque huit dossiers sont configurés. |
Chapitres connexes
- Concepts — comment la VM, ses couches jetables et les partages virtiofs s'articulent.
- Sessions — la fenêtre de session en cours et sa liste de dossiers partagés.
- Identifiants et la frontière du fil — ce qu'un effacement de compromission touche et ne touche pas.
- Référence des paramètres — tous les volets en un coup d'œil.