Lorsque j'utilise les éléments suivants, j'obtiens le résultat escompté:
$ echo {8..10}
8 9 10
Comment puis-je utiliser cette extension de manière très simple pour obtenir la sortie suivante?
$ echo {8..10}
08 09 10
J'ai maintenant que cela peut être obtenu en utilisant seq
(n'a pas essayé), mais ce n'est pas ce que je cherche.
Des informations utiles peuvent être que je suis limité à cette version bash. (Si vous avez une zsh
solution, mais pas de bash
solution, merci de la partager également)
$ bash -version
GNU bash, version 3.2.51(1)-release (x86_64-suse-linux-gnu)