Cette version de GitHub Enterprise Server n'est plus disponible depuis le 2024-07-09. Aucune publication de correctifs n’est effectuée, même pour les problèmes de sécurité critiques. Pour de meilleures performances, une sécurité améliorée et de nouvelles fonctionnalités, effectuez une mise à niveau vers la dernière version de GitHub Enterprise. Pour obtenir de l’aide sur la mise à niveau, contactez le support GitHub Enterprise.

Configuration d’un éditeur par défaut dans GitHub Desktop

Vous pouvez configurer GitHub Desktop pour ouvrir des fichiers dans votre projet avec votre éditeur de texte préféré ou votre environnement de développement intégré (IDE).

Platform navigation

Dans cet article

Éditeurs pris en charge

GitHub Desktop prend en charge les éditeurs suivants. Si vous avez installé un éditeur alors que GitHub Desktop était ouvert, vous devez quitter et rouvrir GitHub Desktop pour que l’éditeur soit détecté.

Configuration d’un éditeur par défaut

  1. Dans la barre de menus, sélectionnez GitHub Desktop , puis cliquez sur Préférences.

    Capture d’écran de la barre de menus sur un Mac. Dans le menu déroulant ouvert « GitHub Desktop », le curseur pointe sur « Préférences », qui est mis en évidence en bleu.

  2. Dans la fenêtre Préférences, sélectionnez Intégrations.

    Capture d’écran de la fenêtre « Préférences ». Dans la barre latérale gauche, l’option « Intégrations » est mise en évidence en bleu et encadrée en orange.

  3. Sous « Éditeur externe », utilisez le menu déroulant pour sélectionner l’éditeur que vous souhaitez définir comme éditeur par défaut.

  4. Cliquez sur Enregistrer.

  1. Utilisez le menu Fichier, puis cliquez sur Options.

    Capture d’écran de la barre de menus « GitHub Desktop » sur Windows. Dans le menu déroulant « Fichier » développé, l’élément « Options » est mis en évidence avec un encadré orange.

  2. Dans la fenêtre Options, sélectionnez Intégrations.

    Capture d’écran de la fenêtre « Options ». Dans la barre latérale gauche, l’option « Intégrations » est mise en évidence en bleu et encadrée en orange.

  3. Sous « Éditeur externe », utilisez le menu déroulant pour sélectionner l’éditeur que vous souhaitez définir comme éditeur par défaut.

  4. Cliquez sur Enregistrer.

Ouverture d’un référentiel dans l’éditeur par défaut

Pour ouvrir le référentiel actuel dans l’éditeur par défaut, vous pouvez utiliser la barre de menus :

  1. Dans la barre de menus, sélectionnez Référentiel.
  2. Cliquez sur Ouvrir dans l’éditeur par défaut

Si vous souhaitez ouvrir un autre référentiel dans l’éditeur par défaut, vous pouvez utiliser la liste des référentiels.

  1. Dans le coin supérieur gauche de GitHub Desktop, à droite du nom du dépôt actuel, cliquez sur .
  2. Cliquez avec le bouton droit sur le référentiel, puis cliquez sur Ouvrir dans l’éditeur par défaut.

Astuce : vous pouvez utiliser le raccourci clavier Maj+Commande+A pour ouvrir un référentiel dans l’éditeur par défaut.

Astuce : vous pouvez utiliser le raccourci clavier Ctrl+Maj+A pour ouvrir un référentiel dans l’éditeur par défaut.

Ouvrir un fichier dans l’éditeur par défaut

  1. Naviguez jusqu’à l’onglet « Modifications » de la barre latérale gauche.
  2. Double-cliquez sur le fichier, ou cliquez avec le bouton droit sur le fichier, puis sélectionnez Ouvrir dans l’éditeur par défaut.