filetype.awk 787 B

12345678910111213
  1. # An awk script to determine the type of a file.
  2. /^\177ELF\001/ { if (NR == 1) { print "elf32"; exit } }
  3. /^\177ELF\002/ { if (NR == 1) { print "elf64"; exit } }
  4. /^\114\001/ { if (NR == 1) { print "pecoff"; exit } }
  5. /^\144\206/ { if (NR == 1) { print "pecoff"; exit } }
  6. /^\001\337/ { if (NR == 1) { print "xcoff32"; exit } }
  7. /^\001\367/ { if (NR == 1) { print "xcoff64"; exit } }
  8. /^\376\355\372\316/ { if (NR == 1) { print "macho"; exit } }
  9. /^\316\372\355\376/ { if (NR == 1) { print "macho"; exit } }
  10. /^\376\355\372\317/ { if (NR == 1) { print "macho"; exit } }
  11. /^\317\372\355\376/ { if (NR == 1) { print "macho"; exit } }
  12. /^\312\376\272\276/ { if (NR == 1) { print "macho"; exit } }
  13. /^\276\272\376\312/ { if (NR == 1) { print "macho"; exit } }