Bash $RANDOM

Found this cool little thing today when I was looking for a way to create a random number in BASH. It seems that BASH does the hard work for you and creates a variable called $RANDOM

# echo $RANDOM  
26031  
# echo $RANDOM  
20163  
# echo $RANDOM  
30045

And if you want to print off a certain range such as 0 - 100 you can do it like so.

# echo $((RANDOM%100))  
81

Figured I would share this as it is a cool little trick.

Avatar
Benjamin Cane
Principal Engineer, Vice President

Benjamin Cane is Principal Engineer at American Express. He has more than 16 years of experience with roles in both systems and software engineering. He leverages both his systems and software skills to build end-to-end platforms. Platforms, purpose built for performance and resiliency. Benjamin is also the author of Red Hat Enterprise Linux - Troubleshooting Guide (2015, Packt Publishing), and he has published many popular articles on topics such as Linux, Docker, Python, Go and Performance Tuning. Thoughts and Opinions expressed in my articles are my own.

Next
Previous

Related