[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $RANDOM is never equal to the next $RANDOM
|
From: |
zavandi |
|
Subject: |
Re: $RANDOM is never equal to the next $RANDOM |
|
Date: |
Mon, 7 Mar 2005 16:56:17 +0200 |
Chet Ramey <chet.ramey@case.edu> wrote:
> Mathematically that's correct, but since having $RANDOM return the same
> value twice in a row would greatly diminish its practical use, there is
> special code in there to prevent it.
OK, then. I'm not an expert bash programmer, so probably you're right.