tee is actually better (so I don't need to fetch and grep the file).