Pour utiliser les intervalles avec awk, il suffit de rajouter l’option –re-interval

$ date +'%A  %e %B  %Y     %H:%M' | awk --re-interval '{ gsub(/[[:space:]]{2,}/, " ", $0); print $0 }'
vendredi 9 novembre 2012 11:45