mace4 – searches for finite countermodels of first-order statements Synopsismace4 [options] < input-file > output-file DescriptionThis manual page documents briefly the mace4 command. The program mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that prover9(1) accepts. If the statement is the denial of some conjecture, any structures found…
macchanger – MAC Changer Synopsismacchanger [options] device Descriptionmacchanger is a Linux utility for viewing/manipulating the MAC address for network interfaces. Optionsmacchanger accepts the following options: -h, –help Show summary of options. -V, –version Show version of program. -s, –show Prints the current MAC -e, –endding Don’t change the vendor bytes. -a, –another Set random vendor…
megatron, unhex, unbin, unsingle, hqx2bin, single2bin, macbinary – Macintosh file format transformer Synopsis megatron [sourcefile…] unbin [sourcefile…] unhex [sourcefile…] unsingle [sourcefile…] hqx2bin [sourcefile…] single2bin [sourcefile…] macbinary [sourcefile…]Descriptionmegatron is used to transform files from BinHex, MacBinary, AppleSingle, or netatalk style AppleDouble formats into MacBinary or netatalk style AppleDouble formats. The netatalk style AppleDouble format is the…
dos2unix – DOS/Mac to Unix and vice versa text file format converter Synopsis dos2unix [options] [FILE …] [-n INFILE OUTFILE …] unix2dos [options] [FILE …] [-n INFILE OUTFILE …]DescriptionThe Dos2unix package includes utilities "dos2unix" and "unix2dos" to convert plain text files in DOS or Mac format to Unix format and vice versa. In DOS/Windows text…
m4 – macro processor Synopsism4 [,OPTION/]… [,FILE/]… DescriptionProcess macros in FILEs. If no FILE or if FILE is `-‘, standard input is read. Mandatory or optional arguments to long options are mandatory or optional for short options too. Operation modes:–help display this help and exit –version output version information and exit -E, –fatal-warnings once: warnings…
m2gmetis – Converts a mesh into a graph that is compatible with METIS. Synopsism2gmetis [options] <meshfile> <graphfile> DescriptionRequired parameters meshfile Stores the input mesh. graphfile The filename of the output graph. Optional parameters -gtype=string Specifies the graph that will be generated. The possible values are: dual – Generate dual graph of the mesh [default] nodal…
m.proj – Convert coordinates from one projection to another (cs2cs frontend). Keywordsmiscellaneous, projection Synopsism.proj m.proj help m.proj [-iodv] [input=filename] [output=filename] [fs=character] [proj_in=string] [proj_out=string] [–verbose] [–quiet] Flags:-i Use LL WGS84 as input and current location as output projection -o Use current location as input and LL WGS84 as output projection -d Output long/lat in decimal degrees…
lzop – compress or expand files Abstractlzop is a file compressor very similar to gzip. lzop favors speed over compression ratio. Synopsislzop [ command ] [ options ] [ filename … ] lzop [-dxlthIVL19] [-qvcfFnNPkU] [-o file] [-p[path]] [-S suffix] [filename …] Descriptionlzop reduces the size of the named files. Whenever possible, each file is compressed into one with the extension .lzo, while keeping the…
xzmore, lzmore – view xz or lzma compressed (text) files Synopsisxzmore [file…] lzmore [file…] Descriptionxzmore is a filter which allows examination of xz(1) or lzma(1) compressed text files one screenful at a time on a soft-copy terminal. To use a pager other than the default more, set environment variable PAGER to the name of the…
lzmainfo – show information stored in the .lzma file header Synopsislzmainfo [–help] [–version] [file…] Descriptionlzmainfo shows information stored in the .lzma file header. It reads the first 13 bytes from the specified file, decodes the header, and prints it to standard output in human readable format. If no files are given or file is –,…
xz, unxz, xzcat, lzma, unlzma, lzcat – Compress or decompress .xz and .lzma files Synopsisxz [option…] [file…] Command Aliasesunxz is equivalent to xz –decompress. xzcat is equivalent to xz –decompress –stdout. lzma is equivalent to xz –format=lzma. unlzma is equivalent to xz –format=lzma –decompress. lzcat is equivalent to xz –format=lzma –decompress –stdout. When writing scripts…
xzless, lzless – view xz or lzma compressed (text) files Synopsisxzless [file…] lzless [file…] Descriptionxzless is a filter that displays text from compressed files to a terminal. It works on files compressed with xz(1) or lzma(1). If no files are given, xzless reads from standard input. xzless uses less(1) to present its output. Unlike xzmore,…
lziprecover – recovers data from damaged lzip files Synopsislziprecover [,options/] [,files/] DescriptionLziprecover – Data recovery tool and decompressor for the lzip format. Lziprecover can repair perfectly most files with small errors (up to one single-byte error per member), without the need of any extra redundance at all. Losing an entire archive just because of a…
lzip – reduces the size of files Synopsislzip [,options/] [,files/] DescriptionLzip – LZMA lossless data compressor. Options-h, –help display this help and exit -V, –version output version information and exit -a, –trailing-error exit with error status if trailing data -b, –member-size=<bytes> set member size limit in bytes -c, –stdout write to standard output, keep input…
xzgrep – search compressed files for a regular expression Synopsisxzgrep [grep_options] [-e] pattern file… xzegrep … xzfgrep … lzgrep … lzegrep … lzfgrep … Descriptionxzgrep invokes grep(1) on files which may be either uncompressed or compressed with xz(1), lzma(1), gzip(1), bzip2(1), lzop(1), or zstd(1). All options specified are passed directly to grep(1). If no file…
xzgrep – search compressed files for a regular expression Synopsisxzgrep [grep_options] [-e] pattern file… xzegrep … xzfgrep … lzgrep … lzegrep … lzfgrep … Descriptionxzgrep invokes grep(1) on files which may be either uncompressed or compressed with xz(1), lzma(1), gzip(1), bzip2(1), lzop(1), or zstd(1). All options specified are passed directly to grep(1). If no file…
xzgrep – search compressed files for a regular expression Synopsisxzgrep [grep_options] [-e] pattern file… xzegrep … xzfgrep … lzgrep … lzegrep … lzfgrep … Descriptionxzgrep invokes grep(1) on files which may be either uncompressed or compressed with xz(1), lzma(1), gzip(1), bzip2(1), lzop(1), or zstd(1). All options specified are passed directly to grep(1). If no file…
xzcmp, xzdiff, lzcmp, lzdiff – compare compressed files Synopsisxzcmp [cmp_options] file1 [file2] xzdiff [diff_options] file1 [file2] lzcmp [cmp_options] file1 [file2] lzdiff [diff_options] file1 [file2] Descriptionxzcmp and xzdiff invoke cmp(1) or diff(1) on files compressed with xz(1), lzma(1), gzip(1), bzip2(1), or lzop(1). All options specified are passed directly to cmp(1) or diff(1). If only one file…
xzcmp, xzdiff, lzcmp, lzdiff – compare compressed files Synopsisxzcmp [cmp_options] file1 [file2] xzdiff [diff_options] file1 [file2] lzcmp [cmp_options] file1 [file2] lzdiff [diff_options] file1 [file2] Descriptionxzcmp and xzdiff invoke cmp(1) or diff(1) on files compressed with xz(1), lzma(1), gzip(1), bzip2(1), or lzop(1). All options specified are passed directly to cmp(1) or diff(1). If only one file…
xz, unxz, xzcat, lzma, unlzma, lzcat – Compress or decompress .xz and .lzma files Synopsisxz [option…] [file…] Command Aliasesunxz is equivalent to xz –decompress. xzcat is equivalent to xz –decompress –stdout. lzma is equivalent to xz –format=lzma. unlzma is equivalent to xz –format=lzma –decompress. lzcat is equivalent to xz –format=lzma –decompress –stdout. When writing scripts…