Professional Software Engineering:
Alejandro Cabrera Obed:
SHELL=/bin/bash #bash is the shell used by root, is this OK ???
bash is a shell, it's just fine. On many systems sh is actually
bash...
Still one should make it
SHELL = '/bin/sh'
since the shell can (will?) behave differently based on the name by
which it is called.
--
Grtz, Ruud
____________________________________________________________
procmail mailing list Procmail homepage: http://www.procmail.org/
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail