#! /bin/bash
# Last edited on 2024-11-13 06:55:47 by stolfi

# Hack to find executable binaries (excluding shells etc.) under specified 
# directories.

find "$@" \
  -type f \
  -executable \
  -exec sh -c "file -i '{}' | grep -q 'x-executable; charset=binary'" \; \
  -print