Next: , Previous: , Up: Command-line commands   [Contents][Index]


17.4.39 file

Command: file is_file_type filename

The file command tests whether the provided filename is the type provided by is_file_type. When the file is of type is_file_type this command will return 0, otherwise it will return non-zero (no output is provided to the terminal).

is_file_type may be one of the following options:

  • --is-i386-xen-pae-domu Check if filename can be booted as i386 PAE Xen unprivileged guest kernel
  • --is-x86_64-xen-domu Check if filename can be booted as x86_64 Xen unprivileged guest kernel
  • --is-x86-xen-dom0 Check if filename can be used as Xen x86 privileged guest kernel
  • --is-x86-multiboot Check if filename can be used as x86 multiboot kernel
  • --is-x86-multiboot2 Check if filename can be used as x86 multiboot2 kernel
  • --is-arm-linux Check if filename is ARM Linux
  • --is-arm64-linux Check if filename is ARM64 Linux
  • --is-ia64-linux Check if filename is IA64 Linux
  • --is-mips-linux Check if filename is MIPS Linux
  • --is-mipsel-linux Check if filename is MIPSEL Linux
  • --is-sparc64-linux Check if filename is SPARC64 Linux
  • --is-powerpc-linux Check if filename is POWERPC Linux
  • --is-x86-linux Check if filename is x86 Linux
  • --is-x86-linux32 Check if filename is x86 Linux supporting 32-bit protocol
  • --is-x86-kfreebsd Check if filename is x86 kFreeBSD
  • --is-i386-kfreebsd Check if filename is i386 kFreeBSD
  • --is-x86_64-kfreebsd Check if filename is x86_64 kFreeBSD
  • --is-x86-knetbsd Check if filename is x86 kNetBSD
  • --is-i386-knetbsd Check if filename is i386 kNetBSD
  • --is-x86_64-knetbsd Check if filename is x86_64 kNetBSD
  • --is-i386-efi Check if filename is i386 EFI file
  • --is-x86_64-efi Check if filename is x86_64 EFI file
  • --is-ia64-efi Check if filename is IA64 EFI file
  • --is-arm64-efi Check if filename is ARM64 EFI file
  • --is-arm-efi Check if filename is ARM EFI file
  • --is-riscv32-efi Check if filename is RISC-V 32bit EFI file
  • --is-riscv64-efi Check if filename is RISC-V 64bit EFI file
  • --is-hibernated-hiberfil Check if filename is hiberfil.sys in hibernated state
  • --is-x86_64-xnu Check if filename is x86_64 XNU (Mac OS X kernel)
  • --is-i386-xnu Check if filename is i386 XNU (Mac OS X kernel)
  • --is-xnu-hibr Check if filename is XNU (Mac OS X kernel) hibernated image
  • --is-x86-bios-bootsector Check if filename is BIOS bootsector

Next: fwsetup, Previous: fdtdump, Up: Command-line commands   [Contents][Index]