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

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: