Re: [f25 PATCH 1/4] kdump-lib.sh: fix incorrect usage with pipe as input for grep -q