Merge pull request #3256 from e-kwsm/SC2143

feat(SC2143): add grep variants for compressed data
This commit is contained in:
Vidar Holen 2025-07-28 14:06:08 -07:00 committed by GitHub
commit bbd5d211cf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -3119,7 +3119,7 @@ checkShouldUseGrepQ params t =
T_DollarExpansion _ [x] -> getPipeline x T_DollarExpansion _ [x] -> getPipeline x
T_Pipeline _ _ cmds -> return cmds T_Pipeline _ _ cmds -> return cmds
_ -> fail "unknown" _ -> fail "unknown"
isGrep = (`elem` ["grep", "egrep", "fgrep", "zgrep"]) isGrep = (`elem` ["grep", "egrep", "fgrep", "bz3grep", "bzgrep", "xzgrep", "zgrep", "zipgrep", "zstdgrep"])
prop_checkTestArgumentSplitting1 = verify checkTestArgumentSplitting "[ -e *.mp3 ]" prop_checkTestArgumentSplitting1 = verify checkTestArgumentSplitting "[ -e *.mp3 ]"
prop_checkTestArgumentSplitting2 = verifyNot checkTestArgumentSplitting "[[ $a == *b* ]]" prop_checkTestArgumentSplitting2 = verifyNot checkTestArgumentSplitting "[[ $a == *b* ]]"