Zecheng Zhang 6b6c8e51bc Merge pull request #821 from strukto-ai/fix/tar-grep-exec-gaps ...

fix(commands): tar/unzip member selectors and relay extraction, grep file filters, direct path execution

2026-08-16 03:44:53 -07:00

..

awk.json

…

base64.json

…

basename.json

…

bash.json

…

bc.json

…

cat.json

…

chgrp.json

…

chmod.json

…

chown.json

…

cmp.json

…

column.json

…

comm.json

…

cp.json

…

csplit.json

…

curl.json

…

cut.json

…

date.json

…

df.json

…

diff.json

…

dirname.json

…

du.json

…

echo.json

…

expand.json

…

expr.json

…

file.json

…

find.json

…

fmt.json

…

fold.json

…

grep.json

…

gunzip.json

…

gzip.json

…

head.json

…

history.json

…

iconv.json

…

join.json

…

jq.json

…

js.json

…

ln.json

…

look.json

…

ls.json

…

md5.json

…

md5sum.json

…

mkdir.json

…

mktemp.json

…

mv.json

…

nl.json

…

node.json

…

numfmt.json

…

od.json

…

paste.json

…

patch.json

…

printf.json

…

pwd.json

…

python3.json

…

python.json

…

readlink.json

…

realpath.json

…

rev.json

…

rg.json

…

rm.json

…

rmdir.json

…

search.json

…

sed.json

…

seq.json

…

sha1sum.json

…

sha256sum.json

…

sha384sum.json

…

sha512sum.json

…

shuf.json

…

sleep.json

…

sort.json

…

split.json

…

stat.json

…

strings.json

…

tac.json

…

tail.json

…

tar.json

…

tee.json

…

touch.json

…

tr.json

…

tree.json

…

truncate.json

…

tsort.json

…

unexpand.json

…

uniq.json

…

unlink.json

…

unzip.json

…

wc.json

…

wget.json

…

xxd.json

…

zcat.json

…

zgrep.json

…

zip.json

…