Dans Terminal, je préfère utiliser bash comme shell par défaut. En utilisant la commande touch File_{01..10}.txt, j'obtiens ces résultats :
File_1.txt, File_10.txt, File_2.txt, File_3.txt, File_4.txt, File_5.txt, File_6.txt, File_7.txt, File_8.txt, File_9.txt
Comme vous pouvez le constater, il n'y a pas de zéros en tête des noms de fichiers.
Cependant, en utilisant zsh, la même commande touch File_{01..10}.txt produit ces résultats :
File_01.txt, File_02.txt, File_03.txt, File_04.txt, File_05.txt, File_06.txt, File_07.txt, File_08.txt, File_09.txt, File_10.txt
Comme vous pouvez le voir, zsh produit les résultats désirés avec les zéros en tête.
Y a-t-il un moyen de configurer bash pour obtenir les mêmes résultats que zsh avec la commande touch ?
