Admin/Dev

06
Avril
2019

Modifier l'éditeur par défaut de Git

Publié par sky

Lors de la validation d'un commit via Git, il est possible que l'on se trompe dans sa description, que ce soit une simple faute, ou carrément un copier/coller qui serait mal passé. Tant que le commit reste local ou n'a pas été "push" vers le projet maître, il est possible de modifier le titre simplement.

Malheureusement, pour réaliser cette action, Fork, l'interface graphique pour Git n'est d'aucun secours, ou je n'ai pas trouvé comment on fait. Il faut donc passer par le terminal, à l'ancienne.

La commande pour modifier le dernier commit est

git commit --amend

Git va alors lancer l'éditeur par défaut, qui sur les systèmes Linux/UNIX et macOS est souvent Vi ou Vim. Cet éditeur, largement plébiscité par les linuxiens les plus hardcore, n'est franchement pas des plus utilisables pour le commun des mortels.

S'il est parfaitement possible, pour les plus courageux d'apprendre à se servir de Vi ou Vim (bon courage), il est préférable de modifier l'éditeur utilisé par Git, par un autre, emacs, nano ou celui de votre choix.

Vous pouvez soit modifier l'éditeur de Git localement et temporairement, c'est à dire, uniquement dans le terminal en cours, et tant qu'il est ouvert

export GIT_EDITOR=nano

Si vous souhaitez que cette modification soit pérenne, pour votre compte utilisateur, il est préférable de modifier la configuration de Git via la commande

git config --global core.editor "nano"

Vous pouvez aussi modifier le fichier de configuration manuellement, avec le risque de le casser, en l'ouvrant avec votre éditeur en ligne de commande favori, ici nano

nano ~/.gitconfig

Et voila.

 
 
Commentaires
Aucun commentaire pour le moment.

 

Poster un commentaire
En postant sur skymac.org, je m'engage à être courtois et à ce que mon message soit pertinent avec le sujet de l'article.
En outre, j'accepte, sans condition, que mon message soit refusé et supprimé si ces règles ne sont pas appliquées.
Ouvrir le panneau de gestion des cookies
Fermer le panneau
Ce site utilise des cookies pour assurer son bon fonctionnement. Il utilise aussi des cookies issues de services tiers permettant de proposer des fonctionnalités avancées. À tout moment, vous pouvez choisir quels services vous souhaitez activer ou refuser, afin de retirer votre consentement quant à l'utilisation des cookies.
 
Personnalisation des services
Vous êtes libre de choisir quels services vous souhaitez activer. En autorisant ces services tiers, vous acceptez le dépôt et la lecture de cookies et l'utilisation de technologies de suivi nécessaires à leur bon fonctionnement. En retirant votre consentement pour certains de ces services, certaines fonctionnalités du site peuvent ne plus fonctionner.
Navigation du site  En savoir plus
Le site écrit un cookie de session permettant son bon fonctionnement et aidant à la navigation. Il ne peut être désactivé.
Utilisation : 1 cookie, enregistre l'identifiant de la session.
Durée de vie : Le cookie est présent pendant toute la session sur le site. Il devient obsolète après 24 minutes d'inactivité.
Obligatoire
Popup Média
Afficher des vidéos depuis Yoube ou Dailymotion.
 
Tout accepter Tout refuser Gérer