Quando utilizzo quanto segue, ottengo un risultato come previsto:
$ echo {8..10}
8 9 10
Come posso utilizzare questa espansione parentesi graffa in modo semplice, per ottenere il seguente output?
$ echo {8..10}
08 09 10
Ora che questo può essere ottenuto usando seq
(non ho provato), ma non è quello che sto cercando.
Informazioni utili potrebbero essere che sono limitato a questa versione bash. (Se hai una zsh
soluzione, ma nessuna bash
soluzione, condividi anche tu )
$ bash -version
GNU bash, version 3.2.51(1)-release (x86_64-suse-linux-gnu)