Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Read the post again. Your case works because you have exactly the right number of digits.


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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: