Contributors to Comments on 2019-12-07 Dollar-quoted strings in Bash