Quando uso o seguinte, obtenho um resultado conforme o esperado:
$ echo {8..10}
8 9 10
Como posso usar essa expansão de chave de maneira fácil, para obter a seguinte saída?
$ echo {8..10}
08 09 10
Eu agora que isso pode ser obtido usando seq
(não tentei), mas não é isso que estou procurando.
Informações úteis podem ser que eu estou restrito a esta versão do bash. (Se você tem uma zsh
solução, mas não tem bash
solução, compartilhe também)
$ bash -version
GNU bash, version 3.2.51(1)-release (x86_64-suse-linux-gnu)