Aller au contenu principal

Démarrer vscode depuis github.com

Saviez-vous que vous pouvez ouvrir VSCode pour n'importe quel repository GitHub instantanément ? Découvrez le raccourci secret : appuyez simplement sur la touche point (.). Commencez à coder en ligne dès maintenant !

· 3 minutes de lecture
Voir la source
Christophe
Amoureux de Markdown, WSL et Docker ~ Curieux insatiable.
Cet article existe aussi en anglais — lire la version originale.

Traduction automatique

Cette traduction a été produite par une IA. Elle peut contenir des contresens ou des maladresses, en particulier sur les termes techniques. En cas de doute, consultez l'article de référence en anglais — c'est lui qui fait foi.

Cet article a plus d'un an, mais il a été relu le 30 juillet 2026 — son contenu est toujours exact.

Démarrer vscode depuis github.com

⚡
TL;DR

Cet article partage une astuce rapide : appuyer sur la touche . sur n'importe quelle page de repository GitHub (ou remplacer .com par .dev dans l'URL) ouvre ce repository dans VSCode en ligne (vscode.dev/github.dev) — pratique pour faire une petite modification ou corriger une faute de frappe depuis un téléphone ou une machine sans clone local.

Ce n'est pas nouveau, mais ce n'est probablement pas assez connu : en parcourant n'importe quel repository GitHub comme par exemple https://github.com/cavo789/blog, il suffit d'appuyer sur . (la touche point) de votre clavier pour lancer VS Code en ligne et voir le repository courant dans vscode.dev.

Voici le blog dans vscode.dev : https://github.dev/cavo789/blog.

C'est la plus légère des trois façons de coder sans VSCode local. Les deux autres : un VSCode complet dans votre navigateur via Docker et Développement distant en SSH avec VSCode.

Changez l'extension de domaine en github.dev

Vous pouvez obtenir le même résultat en modifiant l'URL et en remplaçant l'extension .com par .dev

Mais à quoi ça sert ? Pourquoi en aurais-je besoin​

Imaginez que vous n'êtes pas chez vous, sur votre propre ordinateur, et que vous voulez modifier votre repository ?

Ou encore que vous êtes dans un bus/train/avion et que vous voulez corriger une faute de frappe que vous venez de repérer.

Vous pouvez aussi vouloir faire une toute petite mise à jour, comme modifier votre fichier readme.md. C'est vraiment plus rapide de le faire en ligne que de devoir cloner/mettre à jour le projet sur votre ordinateur, faire la modification, puis add/commit/push.

Cette astuce est toutefois limitée aux repositories GitHub. Si vous avez besoin d'un vrai éditeur complet sur une machine où VSCode n'est pas installé, lancez-le plutôt comme un container : Ai-je besoin de VSCode sur ma machine pour l'utiliser ?.

Utiliser un smartphone

Rendez-vous simplement sur votre repository avec votre smartphone, rien de plus qu'un navigateur web basique, changez l'extension en .dev et bingo, vous pouvez commencer à éditer votre repository (ou celui de quelqu'un d'autre si vous voulez proposer une Pull request (alias une PR)).

Pour en savoir plus : https://github.com/github/dev ou https://docs.github.com/en/codespaces/the-githubdev-web-based-editor.


Cet article vous a-t-il été utile ?
Avez-vous suivi les étapes de cet article ?