2 ms·
Missed that. Well, Bash does it intuitively however you like: $ echo {8..12} 8 9 10 11 12 $echo {08..12} 08 09 10 11 12
by aw3c2 14y ago
Missed that. Well, Bash does it intuitively however you like:
$ echo {8..12}
8 9 10 11 12
$echo {08..12}
08 09 10 11 12