#/bin/bash
exec ggrep "$@"