Re: script with sed2000-10-04 06:55:25From: Collin Park <collin(_at_)cup(_dot_)hp(_dot_)com> sed handles a more limited set and I believe there's no way to make it case-insensitive. Just an FYI, but there are some modern gnu seds that are equipped with an -i flag to handle case-insensitivity. It's not, though, as you intimated, the case for standard sed. -- dman _______________________________________________ procmail mailing list procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail
|
|