Emanuel Berg wrote:
> echo $(echo $RANDOM) # always the same
OK, I learned on #zsh@freenode that $RANDOM
doesn't do anything but is inherited from the
parent shell where there has been no access and
thus no new value.
: $RANDOM; vid=$(random-video $vid_dir)
--
underground experts united
http://user.it.uu.se/~embe8573