Re: [Crash-utility] "char-mapper"

Hi Dave, Just to throw another wrench into the mix, you might find customized character classifications useful. First, you'd specify an interesting category: redirection "|!>" then you generate a table and some macros and then: p1 = BRK_REDIRECTION_CHARS(p2); if (*p1 != NUL) { fp = handle_redirection(p1); *p1 = NUL; } To play with it, install gperf and autogen, git-clone the autogen sources, go into autogen/add-on/char-mapper and type "make". If you use it, I recommend checking the generated source into git/svn. The git repo is on both sourceforge and savannah.gnu.org Anyway, thanks for the patch, though I think there may still be a problem. Anything after the first pipe character can be arbitrary shell. viz: crash-command ! cat | sed s/// > file which is why I recommended the char classifier stuff. The BRK macro stops the scan on the first match of a character from the REDIRECTION class of characters.