Skip to content

Instantly share code, notes, and snippets.

@bancek
Created April 2, 2013 15:41
Show Gist options
  • Save bancek/5293221 to your computer and use it in GitHub Desktop.
Save bancek/5293221 to your computer and use it in GitHub Desktop.
Bash random
rseed=42
random=0
function generate_random {
if [[ $rseed == 0 ]]; then
rseed=123459876
fi
h=$(($rseed / 127773))
l=$(($rseed % 127773))
rseed=$((16807 * $l - 2836 * $h))
if [[ $rseed < 0 ]]; then
rseed=$(($rseed + 0x7fffffff))
fi
random=$(($rseed & 32767))
}
generate_random
echo $random
generate_random
echo $random
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment