J'ai lu d'autres questions sur la manipulation de chaînes bash de piping mais elles semblent être des applications spécialisées. Essentiellement, existe-t-il un moyen de faire le plus simple ci-dessous? au lieu de $ string='hello world'; string2="${string// /_}"; echo "${string2^^}" HELLO_WORLD...