At 12:39 07/11/97 +0000, you wrote:
>But you have also enclosed it in double quotes, in which \ is also
>recognized as an escape character, so you have to put
>
> "\\\\\\$[0-9]+"
>
>Personally, I'd leave off the double quotes. It's bad enough as it is...
Thanks. The bad news is, my example was simplified; the real thing has
embedded spaces. Never mind, the logic is perfectly comprehensible.
+-------------------------------------------------------------------+
| Max Caines | M.B.Caines@??? |
| Technical Services Manager | Phone: 01902 322245 |
| Computer Centre | Fax: 01902 322777 |
| University of Wolverhampton | |
+-------------------------------------------------------------------+
--
*** Exim information can be found at
http://www.exim.org/ ***
