Re: bash increment in a given way

[Chris Davies <chris-usenet@roaima.co.uk>]

S Mathias <smathias1972@yahoo.com> wrote:
> [-- text/plain, encoding 7bit, charset: us-ascii, 28 lines --]

> 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

Chris