Session VSCode distante par SSH

Tu souhaites finir un TP mais en tu en as marre de travailler sur la salle de TP virtuelle ? Utilise une session distante VSCode ! Suis les étapes ci-dessous pour ouvrir une session par SSH.

• Télécharge VSCode sur ta machine
  
  
• Connecte-toi au VPN (cf. page VPN)
  
  
• Ouvre VSCode
  
  
• Configure l'hôte SSH
  
  
  • Clique en bas à gauche sur le logo  _>^<  
    
    
  • Sélectionne l'option SSH
    
    
  • Ajoute un nouvel hôte SSH toto@srv-ens-calcul.insa-toulouse.fr
    Où toto est ton login INSA
    
    
  • Choisis l'emplacement du fichier de config SSH à utiliser
    Si tu ne sais pas lequel choisir sélectionne le premier proposé
    
    
• Connecte-toi à l'hôte distant
  
  
  • Clique en bas à gauche sur le logo  _>^<  
    
    
  • Choisis l'option de connexion SSH
    
    
  • Sélectionne l'hôte que tu viens de créer : srv-ens-calcul.insa-toulouse.fr
    
    
  • Entre ton mot de passe INSA
    
    
• Ouvre ton TP
  
  
  • Ouvre le dossier sur lequel tu veux travailler
    
    
  • Entre ton mot de passe INSA
    
    
  • Si tu as besoin d'un terminal ouvre-le dans VSCode
    
    

Vous pouvez également vous connecter à un WSL si vous en avez un d'installé sur votre machine. Il vous suffit de choisir l'option WSL à la place de l'option SSH. Pensez à installer le nécessaire pour compiler votre language si vous utilisez cette méthode !

Sous Ubuntu / Debian:

• Pour faire du C
  sudo apt install gcc
  
  
• Pour faire de l'ADA
  sudo apt install gnat