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...