[Question] Batch-moving archives with a specific type of file in them

[SomeGamer]

Basically the title. I have a ton of archives (7z, zip and rar) which I want to move to another location if they have a file with a specific name/extension in them. Could find no such program searching online. Thanks in advance!

 

[kuwanger]

Bash script:

for f in *.7z *.rar *.zip; do if [[ "$(7z l "$f" | grep \\.ext$)" != "" ]]; then mv "$f" destination; fi; done