# filter A simple tool to filter the input interactively in a POSIX pipeline.