Is there a way in bash to convert a string into a lower case string? For example, if I have: a="Hi all" I