К сожалению, не знаю, чем отличается негнутая версия tr.

tr -s [:blank:] ' ' не сработает? Я правильно понял, что надо удалить только лишние пробелы, оставив вместо них по одному?

надо удалить только лишние пробелы, оставив вместо них по одному?

Именно!

Так работает же! Спасибо!

Javascript:

> var s = "a  long      string    with            spaces"
"a  long      string    with            spaces"
> s.replace(/\s+/g," ")
"a long string with spaces"