I've recently seen a system that can 'record' your terminal session for replay on the Web - http://ascii.io/ - whose 'recorder' forks off a psuedo terminal for this (https://github.com/sickill/ascii.io-cli/blob/master/bin/asci...). Would something like Grc use a similar approach or is there another way?
1. export your real $PATH to eg $REAL_PATH
2. clear $PATH (or set it to some dummy value)
3. Attach a wrapper script to command_not_found_handler, which would call the original command with REAL_PATH and pipes it to your filter (or colorizer or whatever).
Ascii.io transforms these terminal escape sequences into html/css, so Grc should work fine with it.
I understand that part. But there's a screenshot where a "ping" is being done at a normal looking terminal and it just works without being explicitly piped through a program that does the above. What's the mechanism for piping all the terminal output through another process?
[1] https://github.com/mxcl/homebrew/blob/7bbe7e9311ce95a141bf5f...