bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: install-sh and $RANDOM


From: Ben Pfaff
Subject: Re: install-sh and $RANDOM
Date: Mon, 17 Oct 2016 16:06:29 -0700
User-agent: Mutt/1.5.23 (2014-03-12)

On Mon, Oct 17, 2016 at 04:56:05PM -0500, Eric Blake wrote:
> You're not the first person to complain that $RANDOM is a bashism, and
> this is not the first time we've had to retort that our use of $RANDOM
> is a nicety, but not a necessity, and that the code is perfectly safe
> and tested on shells where the expansion of $RANDOM is the empty string.

I can see why it would surprise people, so maybe it would be helpful to
add a comment mentioning that the code is still safe when $RANDOM is not
useful, and perhaps pointing to this discussion.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]