Prefetch Technologies // Keeping your cache lines cozy

Generating random numbers with bash

While perusing through some documentation last week, I came across the bash RANDOM variable. This nifty little built-in can be used to generate a random signed integer value:

$ echo $RANDOM
17142
$ echo $RANDOM
1713

This could definitely be valuable for solving some bash-specific problems, but nothing can replace /dev/random and a hardware random number generator.