replace leerzeichenfolgen zu je einem zusammenfassen

[Marvek]

Hi,

Habe folgendes "Problem" mit der replace Funktion;
suche eine (besonders elegante und vorzeigbare) Methode um
in einem String alle hintereinanderstehenden Leerzeichen
zu jeweils einem zu kürzen:

Also Beispiel: "aaa bbb cc 11233 7,,5"
soll zu "aaa bbb cc 11233 7,,5" werden

Wenn ich dies mit:
string.replace(' ',' ').replace(' ',' ').replace(' ',' ')
angehe, hilft das schonmal weiter, weil insgesamt 3 mal
alle doppelten Leerzeichen zu einem gekürzt werden.

Also kürze ich damit alle Folgen bis zu 8 (2**3) Leerzeichen zu einem Leerzeichen.

Lieber wäre mir aber die allgemeine Behandlung ohne hässliche Wiederholung der replace-Funktion.
Eine Schleife wäre möglich, frage mich aber ob es für sowas einen einzigen eleganten Befehl gibt,
etwa in der Art:

string.(100*replace(' ',' '))

(was natürlich nicht so geht).

Hoffe Ihr versteht wie ichs meine.

[pillmuncher]

Code: Alles auswählen

assert ' '.join('a   b     c d   e f    g'.split()) == 'a b c d e f g'

[BlackJack]

Ansonsten könnte man das auch mit `re.sub()` angehen.

[Marvek]

Danke ! Hat gut geklappt ...