VSCodium

Configuration de proxy dans VSCodium¶

Si vous avez l’erreur Error while fetching extensions. XHR failed quand vous allez dans Extensions (dans la barre à gauche), alors il faut changer les paramètres de proxy dans VSCodium.

1. Appuyer sur F1.
2. Taper User Settings dans la barre de recherche.
3. Cliquer sur Open User Settings.
4. Dans la barre Search Settings, taper Proxy.
5. Dans Http: Proxy (Applies to all profile), taper dans la barre http://<serveur proxy>:<port>. À l’IUT d’Orsay, le serveur est proxy.iut-orsay.fr et le port est 3128.

Extensions utiles pour VSCodium¶

• Git Graph
• Git Blame
• Code Spell Checker
• Better Comments
• Todo Tree
• Markdown Preview Enhanced
• Open
• Project Manager
• Material Icon Theme
• vscode-pdf
• Live Server