Saya sudah membaca beberapa pertanyaan manipulasi piping bash string tetapi mereka tampaknya aplikasi khusus. Pada dasarnya, apakah ada cara untuk melakukan hal di bawah ini dengan lebih sederhana? dari pada $ string='hello world'; string2="${string// /_}"; echo