I made a bash script to play random music from Music directory

#!/bin/bash

shopt -s nullglob;

# defining rand function which produces unbiased random number
rand() { local max=$((32768 / $1 * $1)) r; while (( (r=$RANDOM) >= max )); do :; done; printf '%s\n' "$(( r % $1 ))"; }

pkill mpv; # killing already playing song

songs=(~/Music/*)
len=${#songs[@]}
random_index="$(rand len)"

if [[ $len == 0 ]]; then
	echo "No songs to play :("
	exit
fi
mpv --no-video "${songs[random_index]}" & disown