Je ne sais pas combien de fois je l'ai fait. Je tape rm dir puis de déplacer le curseur en arrière et d'ajouter -rf à la commande. Probablement 10 000.
Sous Linux, je peux simplement ajouter les options après le nom du répertoire.
Existe-t-il une bonne magie bash qui permette de faire cela en toute sécurité ? Voici un prototype non fonctionnel d'une simple commande bash rm qui, je pense, devrait faire l'affaire :
function rm() {
if $2 eq "-rf" then run "builtin rm $2 $1"
}Mais avant de réinventer la roue, je voulais voir s'il y avait d'autres options qui me manquaient. Je vous remercie.
