He leído algunas otras preguntas sobre manipulación de cadenas de bash de tuberías, pero parecen ser aplicaciones especializadas. Básicamente, ¿hay alguna manera de hacer lo siguiente más simple? en vez de $ string='hello world'; string2="${string// /_}"; echo "${string2^^}" HELLO_WORLD algo...