Как удалить символы из строки средствами bash?

a="1 2 3   4" ; b=${a// /} ; echo $b
1234

Ух ты, спасибо, круто, буду знать! (Правда так и не понял как ОНО это делает. Шайтан коробка? =)))

Регэкспы...

>Шайтан коробка?

man bash или в манах забанили :) и в мане сразу уходим поиском до '//'. Все просто ${parameter//pattern/string}, где parameter --- имя переменной, pattern в этом случае "пробел", а string --- то, на что заменять pattern, в этом случае это пустая строка.

Но нужно помнить, что это "башизмы", то есть только для bash...