Git protip : corriger tes commandes

Par Maxime Bréhin • Publié le 12 décembre 2022 • 2 min

Si comme moi tu souffres du syndrome des doigts en mousse™ ou que tu tapes au clavier avec des moufles 🥊 (restrictions énergétiques obligent 😅), alors tu ne pourras qu’apprécier cette option de configuration qui te propose de corriger des commandes à la volée.

Quel comportement peut-on obtenir ?

À la base on bénéficiait d’une suggestion automatique, mais simplement par un texte dans le terminal.

# Avec le mode par défaut
> git config --global help.autocorrect 0
# Commande mal renseignée
> git cmmit
# On obtient alors ce message
git: 'cmmit' is not a git command. See 'git --help'.

The most similar command is
        commit

On avait également la possibilité d’appliquer automatiquement la suggestion, sans validation. Le souci avec cette approche est que l’interprétation n’est pas toujours ce qu’on souhaite :

> git config --global help.autocorrect immediate
# On peut aussi utiliser une valeur numérique exprimant
# le délai avant application en décisecondes (ci-dessous 3 secondes)
# > git config --global help.autocorrect 30
# Commande mal renseignée
> git git add
# On obtient alors ce message
WARNING: You called a Git command named 'git', which does not exist.
Continuing under the assumption that you meant 'init'.
Initialized empty Git repository in /path/to/your/project/add/.git/
# On se retrouve avec un répertoire `add/` dans le projet initialisé comme un projet Git 🤦‍♀️

En novembre 2021, une nouvelle option est arrivée dans Git 2.34 : le prompt, ou la validation par l’utilisateur de la suggestion :

> git config --global help.autocorrect prompt
# Commande mal renseignée
> git git add
# On obtient alors ce message
WARNING: You called a Git command named 'git', which does not exist.
Run 'init' instead [y/N]?

Nous voilà donc rassurés de pouvoir éviter tout mauvaise interprétation 😌 !

Des astuces en veux-tu en voilà !

On a tout plein d’articles et de vidéos existants et encore beaucoup à venir. Pour ne rien manquer, tu devrais penser à t’abonner à notre newsletter, à notre chaîne YouTube, nous suivre sur Twitter ou encore mieux, à suivre notre formation du feu de dieu 🔥 : Git Total !