Philip asked,
| Have you actually had
| to use a system which didn't have a separate echo command?
No, but I've heard of them, and I have seen systems where /bin/echo was
#!/bin/sh
echo "$@"
If the system has no /bin/echo, there's nothing to stop the user from having
a shell script like the above and adding its directory to $PATH or just
calling it by its path.
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail