How can I convert a string from uppercase to lowercase in Bash? [duplicate]

If you are using Bash 4, you can use the following approach:

x="HELLO"
echo $x  # HELLO

y=${x,,}
echo $y  # hello

z=${y^^}
echo $z  # HELLO

Use only one , or ^ to make the first letter lowercase or uppercase.