Gelegentlich braucht man eine zufällige Zahl in der Linux shell. Diese Zahl steckt in der Umgebungsvariablen $RANDOM und wird durch das Gerät /dev/random erzeugt. Mit echo $RANDOM wird eine Zahl zwischen 0 und 32767 ausgegeben.
¡bienvenidos a mi patio artificial!