Как сделать на awk

Тут лучше подойдёт sed.

cat file | gawk --posix '{ gsub("^ +", ""); gsub(" {2,}", " "); print } '

sed'ом к сожалению воспользоваться не могу, myhand большое спасибо.