On Wed, 10 Jun 1998, Vincent Renardias wrote:
> What do I need to do so that $home during filtering is set at the same
> value than $HOME is for piped commands during filtering?
Set file_directory instead of home_directory (see section 23.4).
--
Philip Hazel University Computing Service,
P.Hazel@??? New Museums Site, Cambridge CB2 3QG,
ph10@??? (sic) England. Phone: +44 1223 334714
--
*** Exim information can be found at
http://www.exim.org/ ***