vWalter schrieb:Der Punkt darf selbstverständlich am Anfang stehen - er ist der "Universaljoker". Wenn am Anfang, dann hat er absolute Priorität 1 oder zwischendurch - dann fängt die Priorität 1 ab dort an :
z.B. : 00.123456789
bewirkt, dass jede Nummer mit mindestens 00 am Anfang hier gewählt wird, alles weitere wird ignoriert
Nicht ganz richtig. Hinter 00 muss noch mindestens ein Zeichen folgen, bis dieses Muster greift.
Wegen dieser Eigenschaft macht es keinen Sinn, nach dem Punkt noch etwas dazuzuschreiben - aber es spricht eben nichts dagegen, den Punkt an den Anfang zu setzen .... dem Asterisk ist's egal, er versucht dann zu wählen, was kommt.
Das ist im Grund genau das, was ich auch gesagt habe. Du kannst dich aber nicht drauf verlassen, dass spätere Versionen die Zeichen hinter dem Punkt auch einfach ignorieren werden.