Re: bash increment in a given way

S Mathias <smathias1972@xxxxxxxxx> 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


--
To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx
with a subject of "unsubscribe". Trouble? Contact listmaster@xxxxxxxxxxxxxxxx
Archive: http://lists.debian.org/o8jct7xnuh.ln2@xxxxxxxxxxxxxxxxx