On Sat, 23 May 1998, R. Brock Lynn wrote:

>in zsh. echo $RANDOM will give you one "every time" so I was told. But still, my

Also bash provides $RANDOM.

Andrea[s] Arcangeli

Reply via email to