Différences

Ci-dessous, les différences entre deux révisions de la page.

--- vscode [2026/11/02 10:26] – admin
+++ vscode [2026/11/02 10:29] (Version actuelle) – admin
@@ Ligne 13: / Ligne 13: @@
   - Installez [[https://code.visualstudio.com|VS Code]] sur votre PC.
   - Dans VS Code, cliquez sur l'icône « Extensions » dans la barre de gauche (ou ''Ctrl+Maj+X'').
-  - Cherchez **Remote - SSH** (éditeur : Microsoft) et cliquez sur « Install ».
+  - Cherchez **Remote - SSH** et cliquez sur « Install ».
 ===== 2. Se connecter au serveur =====
@@ Ligne 23: / Ligne 23: @@
   - Si VS Code demande le type de serveur, choisissez « Linux ».
   - Entrez votre mot de passe.
-À la première connexion, VS Code s'installe sur le serveur : cela prend environ une minute.
 Si le serveur n'est pas trouvé, utilisez son nom complet : ''login@christmas.local.isima.fr''.
@@ Ligne 45: / Ligne 43: @@
 Comme les fichiers sont partagés, vos scripts sont déjà en place.
-===== À savoir =====
-  * VS Code installe un petit serveur dans votre répertoire personnel (dossier caché ''.vscode-server'', quelques centaines de Mo), qui compte dans votre quota.
-  * Les règles des serveurs en accès direct s'appliquent : voir [[accesdirect|travailler en accès direct]].