Glob.Ersetzung

[Bernhard Eversberg]

Gestern wurde das Problem angesprochen, dass eine Ersetzung der
Gestalt

*#20_x _  _

nicht funktioniert. Wen wundert das? Zwei Leerzeichen markieren den
Beginn eines Kommentars, d.h. das dritte '_' kriegt das Programm gar
nicht mit. Weil dann der Befehl unvollstaendig ist, wird's kritisch.

Aber es ist nicht so, dass solches nicht vorhergesehen worden waere.
Abhilfe:

"*#20_x _  _"

Das klappt wirklich. Denn hier greift die Regel, dass Einschluesse in
"..." auch Mehrfach-Blanks enthalten duerfen. Und wenn die Befehlszeile 
gleich mit " beginnt, wird das " am Ende stillschweigend weggenommen.
Natuerlich geht's nicht, dass nun innerhalb der "..." wiederum ein anderes
" vorkommt!
Mit dem Single Quote ' klappt das uebrigens nicht! D.h. wenn innerhalb
des Einschlusses bei solchen Faellen tatsaechlich noch ein " vorkommen 
sollte, dann muss man sich was anderes ueberlegen.

MfG B.E.

Bernhard Eversberg
Universitaetsbibliothek, Postf. 3329, 
D-38023 Braunschweig, Germany
Tel.  +49 531 391-5026 , -5011 , FAX  -5836
e-mail  B.Eversberg at tu-bs.de