bash increment in a given way

[Markus Schönhaber]

11.12.2010 15:34, S Mathias:

> but what's the "magic" for this? :
> 
> $ MAGIC; do echo "Welcome $i times"; done
> Welcome 0 times
> Welcome 1 times
> Welcome 4 times
> Welcome 5 times
> Welcome 8 times
> Welcome 9 times
> $

for i in 0 1 4 5 8 9; do echo "Welcome $i times"; done

-- 
Regards
  mks