Correction de fautes de frappes
Lorsque vous travaillez en ligne de commande, des options ont été mises en places afin de vous faciliter la vie.
Par exemple, des options existent pour corriger les éventuelles fautes de frappes que vous pouvez faire.
Pour une configuration globale à tous les utilisateurs du système :
Sous Zsh, éditez le fichier /etc/zshrc :
setopt correct
Sous Bash, éditez le fichier /etc/bashrc :
shopt -s cdspell
ou votre ~/.bashrc (le ~/ correspond à votre répertoire personnel c'est-à-dire /home/user où user est votre nom d'utilisateur) pour une utilisation personnelle.
L'option sous bash ne corrige que vous corrigera que sur la commande cd alors que zsh vous corrigera sur toutes les commandes que vous taperez.
Par exemple, sous bash si vous avez un dossier projects :
efaistos@kayo:~/ $ cd projectw [ENTREE] projects efaistos@kayo:~/projects $
Ici nous voyons que bash a directement corrigé et nous a mis dans le répertoire projects. Bash est toutefois très limité car il ne fonctionne qu'avec la commande cd.
Avec zsh, la correction se fait également sur les commandes. Par exemple :
efaistos@kayo [~]$ cds projects [1:14] zsh: correct 'cds' to 'cd' [nyae]? y efaistos@kayo [~/projects]$ [1:15]
Simple et efficace ;) zsh vous propose de remplacer ce que vous avez tapé, cds qui est probablement une erreur, par la commande cd.
Ensuite pour activer cette nouvelle fonctionnalité, il faut recharger votre fichier de configuration avec la commande source ainsi :
Bash:
$ source .bashrc
Zsh:
$ source .zshrc
Une fois cette modification apportée, les deux commandes ci-dessus seront inutiles car la nouvelle configuration sera prise en compte à l'ouverture de tout nouveau terminal.


Commentaires
#1 exemple ?
ça à l'air intéressant, mais ça pourrait être sympa de voir quel genre de correction sont effectuée ?
#2 Updated !
Ah zut ... je pensais en avoir mis un :(
Je viens de mettre à jour ;)
Ca m'apprendra à publier des docs tard dans la nuit :P